:set -XTypeFamilies -XPolyKinds
type family Id (a :: k)
type instance Id a = a
type Foo x = Maybe
:kind! Id Foo