testsuite/tests/typecheck/should_fail/ExplicitSpecificity6.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}

module ExplicitSpecificity6 where

class C a where

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