On 31 March 2015 at 09:22, Matt Oliveri <[email protected]> wrote: > > > No, I didn't assume otherwise. Combinations of cfns and HM arrows are > not enough to express the necessary constraints. Please do look at the > example and consider what could happen in your type system.
Sounds like it would be useful to do this, which example did you mean? Could you restate it simply? Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
