freelude-0.3.2.0: A generalisation of the Category->Functor->Applicative->Monad hierarchy and more
Freelude.Impl.ToKind
type ToType a = ToKind Type a Source #
type ToKind toK (a :: k) = ToKind' toK k a Source #