Still {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UnicodeSyntax #-} data a ── b = Foo a b leads to test.hs:4:6: Malformed head of type or class declaration: a ── b Failed, modules loaded: none.