The Elmer Haskell Datatype, Is It a Datatype?

The elmer type system is based on a paper by neil chris swamy. It's ike a type system for polymorphic, functional proga languages. We don't have like, data kinds or anything like that, like haskell does. There are universally quantified types and all the kinds as well. The kind checker doesn't quite work out very well yet but it's in the works.