:set -XTypeFamilies
data family Foo a
data instance Foo Int = FooInt
:t FooInt