1{-# LANGUAGE ScopedTypeVariables #-} 2module ForallInInstance where 3 4instance forall a. MyClass a => MyClass [a] where 5