1 2 3 4 5
{-# LANGUAGE KindSignatures #-} module BindKindName where type Foo (a :: DontExistKind) = a