MkFoo :: forall k (a :: k). (k ~ *) => Foo a