Useless language feature #1: specify kind in explicit expression type annotations that you insert to guide the type inference engine.

How did I work on this for 6 months without realizing that the kind of a value's type is always the kind of types because that's literally what the kind of types means?

@bigmonsterlover A WIP functional language called Orchid. I'm having some trouble because I want to incorporate higher kinded types and dependent types (or rather, the ability to lift values and value functions into the universe of types and kinds) but the Calculus of Constructions has defied all my attempts to comprehend it.

So I'm kinda just floating through NP-space trying to construct a set of algorithms that reasonably guarantee assignability and are polynomial for limited input ranges so that the limits and configuration of the type checker can be set intuitively.