12 Sep
2011
12 Sep
'11
4:20 a.m.
2011/9/12 Brandon Allbery
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.