Hoogle.TypeSig.Type
data TypeSig
type Constraint
data TypeSimp
data Type