blob: 614f665143f912c8f3a5cfa4aac9ec4643f0a214 (
plain)
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
|