`is-type` from prelude