[Haskell-cafe] Classes: functional dependency (type -> value)

[Jason Dusek]

2009/05/10 Belka <lambda-belka at yandex.ru>:
> Some real code using wished feature:

  This code has multiple issues:

 .  It is nearly unreadable as formatted.

 .  There are actual errors that would prevent it from compiling
    (pattern match on `Left` and `Just` in the same `case`
    expression!).

  Please amend the code so it is easier to read and test.

--
Jason Dusek