Kind polymorphic :=

Addressing #4.