{-# LANGUAGE TypeFamilies #-}

module ClosedFam4 where

type family Foo a where ..