~ / is-what-type /