testsuite/tests/typecheck/should_fail/T7545.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE RankNTypes, InstanceSigs #-}
module T7545 where

class C a where
   f :: a -> b

-- This is now accepted because the instance signature is more general
instance C (a -> b) where
   f :: x
   f = undefined