haskell kinds and example classes/inhabitants

kinds.txt

kinds and their inhabitants

*
  inhb: Bool, Int, Void, ..
  clss: Num, Show, Eq, Typeable, Monoid, Semigroup, ..
  
* -> *
  inhb: [], Maybe, Tree, ZipList, MVar, ST, IO, ..
  clss: Functor, Monad, Foldable, Traversable, GMonoid, GShow, ..

* -> * -> *
  inhb: (->), Either, (,), Tagged, Map, Const
  clss: Category, Arrow, BiFunctor, ProFunctor, Strong, Choice, Traversing, Mapping, machines:Automaton, darcs:Invert

(* -> *) -> (* -> *)
  inhb: Reverse, IdentityT, Alt, ListT, MaybeT, Free, ..
  clss: MonadTrans, MFunctor

(* -> *) -> (* -> *) -> (* -> *)
  inhb: Sum, Pair, Compose, FreeT, ProgramT, ..
  clss: _

* -> (* -> *) -> * -> *
  inhb: StateT, ReaderT, ..
  clss: 

* -> * -> * -> (* -> *) -> * -> *
  inhb: RWST
  clss: 

(* -> *) -> *
  inhb: 
  clss: CZip

(* -> *) -> (* -> *) -> *
  inhb: DSum, DMap

((* -> *) -> *) -> *
  inhb: groundhog:Unique
  clss: 

(* -> * -> *) -> * -> * -> *
  inhb: WrappedArrow, Tambara, Pastro, FreeTraversing, Closure
  clss: Bifoldable

(* -> * -> *) -> * -> * -> * -> *
  inhb: lens:Bazaar

(* -> *) -> (* -> * -> *) -> * -> * -> *
  inhb: Tannen, Cayley
  clss: 

(* -> * -> *) -> (* -> * -> *) -> (* -> * -> *)
  inhb: Product, Ran, Rift
  clss: 

(* -> * -> *) -> (* -> *) -> (* -> *) -> * -> * -> *
  inhb: Biff
  clss: 

(* -> *) -> * -> * -> *
  inhb: Star, Kleisli, FreeF, ..
  clss: 

k -> *
  inhb: Proxy
  clss: ?

Constraint -> *
  inhb: Dict
  clss: