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

On Thu, Oct 10, 2013 at 1:28 AM, Thiago Negri 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