path: root/testsuite/tests/typecheck/should_fail/T18455.hs

{-# LANGUAGE RankNTypes #-}
module T18455 where

class C a

instance C (Either a b) where
  {-# SPECIALISE instance forall a. forall b. C (Either a b) #-}