1 2 3 4 5 6 7 8
{-# LANGUAGE ScopedTypeVariables #-} module ExplicitSpecificity5 where class C a where instance forall {a} {b}. C (Either a b) where