[Haskell-cafe] TypeOperators and Unicode

Roel van Dijk vandijk.roel at gmail.com
Mon Sep 12 10:20:41 CEST 2011

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.

More information about the Haskell-Cafe mailing list