{-# LANGUAGE UnicodeSyntax #-}

data Foo = forall
  a. Foo

data Bar = ∀
  a. Bar