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