Data.OpenWitness.Typeable
class
Typeable
a
type
Fun
cast
gcast
mkFunTy
funResultTy
mkAppTy