{-# LANGUAGE UnicodeSyntax #-}

data Foo :: Type -> Type where
  Foo :: a -> Foo a