Thu 3 Nov 2011
Last time we derived an entailment relation for constraints, now let's get some use out of it.
Most of the implications we use on a day to day basis come from our class and instance declarations, but last time we only really dealt with constraint products.
Thu 3 Nov 2011
Max Bolingbroke has done a wonderful job on adding Constraint kinds to GHC.
Constraint Kinds adds a new kind Constraint, such that Eq :: * -> Constraint, Monad :: (* -> *) -> Constraint, but since it is a kind, we can make type families for constraints, and even parameterize constraints on constraints.
So, let's play with them and see what we can come up with!
