1{-# LANGUAGE TypeFamilies #-}
2
3type family Foo a where
4  Foo _ = Int
5