xptype is an experimental type playground