@hackage / kinds

Emulation of subkinds and subkind polymorphism