On 12 December 2010 13:03, Max Bolingbroke <[email protected]> wrote:
> > type instance DUnit (a,b) = GuardEq (DUnit a) (DUnit b) > > type family GuardEq a b :: * > type instance GuardEq a a = a Thanks Max, that seems to be what I need. Best wishes Stephen _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
