#group decl/typefam/instance


#test simple-typefam-instance

type instance MyFam Bool = String

#test simple-typefam-instance-param-type

type instance MyFam (Maybe a) = a -> Bool

#test simple-typefam-instance-parens
#pending the parens cause problems since ghc-8.8

type instance (MyFam (String -> Int)) = String

#test simple-typefam-instance-overflow

type instance MyFam ALongishType
  =  AMuchLongerTypeThanThat
  -> AnEvenLongerTypeThanTheLastOne
  -> ShouldDefinitelyOverflow

#test simple-typefam-instance-comments

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

#test simple-typefam-instance-parens-comment
#pending the parens cause problems since ghc-8.8

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