Type checking for @, coe, and iso