Data.OpenWitness.Typeable

class Typeable a

type Fun

cast

gcast

mkFunTy

funResultTy

mkAppTy