[Haskell] Proposal: unification of style of function/data/type/class definitions

Taral taralx at gmail.com
Sun Sep 10 13:45:33 EDT 2006

On 9/10/06, Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:
> data Expr t           = If (Expr Bool) (Expr t) (Expr t)
>      Expr Int         = Lit Int
>      Expr Bool | Eq t = Eq (Expr t) (Expr t)

I find this somewhat unreadable due to the implicit "t" parameter not
showing up on the left-hand side...

Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Haskell mailing list