# LANGUAGE TypeFamilies #

module InTypeFamily where

type family F a :: * where  {-* KindSignatures *-}
  F () = ()
  F _  = ()                 {-* TypeFamilies *-}

* KindSignatures *
* TypeFamilies *
# LANGUAGE TypeFamilies #

module InTypeFamily where

  F () = ()
