Is this supposed to be HasTwo? I don't see how it can be right. You are using type classes for predicates, correct? And HasTwo is a predicate. But has_two is not a type class.
Informally, the ingredient you seem to be leaving out is an existential quantifier. On Sat, Jun 13, 2015 at 7:25 AM, Keean Schupke <[email protected]> wrote: > has_two :: dif a b => (a, b) > has_two x y = (x, y) > > On 13 Jun 2015 12:14 pm, "Matt Oliveri" <[email protected]> wrote: >> Although I'm still curious whether HasTwo can be defined as a type >> class... _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
