Use `TypeConstructor`s for basic types
Import kinds for basic types

A bit hacky I think, not familiar enough with Parsec to know the best
way to do this