fourmolu-0.12.0.0: data/examples/declaration/data/type-data.hs

type data Universe = Character | Number | Boolean

type data Maybe a = Just a
                  | Nothing

type data P :: Type -> Type -> Type where
  MkP :: (a ~ Natural, b ~~ Char) => P a b