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 <ke...@fry-it.com> wrote: > has_two :: dif a b => (a, b) > has_two x y = (x, y) > > On 13 Jun 2015 12:14 pm, "Matt Oliveri" <atma...@gmail.com> wrote: >> Although I'm still curious whether HasTwo can be defined as a type >> class... _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
