{-# LANGUAGE ScopedTypeVariables #-}
module ForallInInstance where

instance forall a . MyClass a => MyClass [a] where