SimplEnv
type InId
type InBind
type InExpr
type InAlt
type InArg
type InType
type InBndr
type OutId
type OutTyVar
type OutBind
type OutExpr
type OutAlt
type OutArg
type OutType
type OutBndr
type InCoercion
data SimplEnv
data SimplSR
data Floats