SimplEnv
type InId
type InBind
type InExpr
type InAlt
type InArg
type InType
type InBndr
type InVar
type OutId
type OutTyVar
type OutBind
type OutExpr
type OutAlt
type OutArg
type OutType
type OutBndr
type OutVar
type InCoercion
type OutCoercion
type SwitchChecker
data SwitchResult
data SimplEnv
type StaticEnv
data SimplSR
data Floats