Language.PureScript.TypeChecker.Types
data
BindingGroupType
typesOf