[Haskell-cafe] TypeOperators and Unicode

[Roel van Dijk]

2011/9/12 Brandon Allbery <allbery.b at gmail.com>:
> Don't all infix constructors have to start with a colon?

Yes that is true. You can of course use Unicode symbols as infix type variables:

(⋙) :: Category ⇝ => (α ⇝ β) -> (β ⇝ γ) -> α ⇝ γ

But a constructor must always begin with a capital letter or with a colon.

UnicodeSyntax is only required if you want to replace existing Haskell
syntax with Unicode.