[Haskell-beginners] RankNTypes + ConstraintKinds to use Either as a "union"

[Kim-Ee Yeoh]

On Thu, Oct 10, 2013 at 1:28 AM, Thiago Negri <evohunz at gmail.com> wrote:

> foo :: (tc a, tc b) => (forall c. tc c => c -> c) -> Either a b -> Either
> a b


Aren't type classes supposed to be Capitalized?

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20131010/5a129e25/attachment.html>