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

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