-- | A happy family
type instance MyFam Bool -- This is an odd one
  = AnotherType -- Here's another