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

On 9/10/06, Bulat Ziganshin <bulat.ziganshin@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@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem