1 2 3 4 5 6
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module ClosedFam2 where type family Foo b where ..