17 Mar
2014
17 Mar
'14
4:28 p.m.
On Tue, Mar 18, 2014 at 2:14 AM, Dennis Raddle
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