[Haskell-beginners] Ambiguous type variables

Kim-Ee Yeoh ky3 at atamo.com
Mon Mar 17 20:28:59 UTC 2014

On Tue, Mar 18, 2014 at 2:14 AM, Dennis Raddle <dennis.raddle at gmail.com>wrote:

> class Bt d c memo | d -> c, d -> memo where

Could you also say something about the instances you intend to implement
for this typeclass?

If there's only 1, which the statement of the problem suggests as much, you
can dispense of the typeclass entirely and just work with plain functions!

Could be that you want something working first and generalize /
polymorphize later.

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20140318/de549ebc/attachment.html>

More information about the Beginners mailing list