{-# LANGUAGE TypeFamilies #-}

module ClosedFam2 where

type family Foo b where ..