blob: 2ed92c3675f1e71367a88c2770d10bf2172c0c87 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
module T16326_Fail11 where
class C a where
m :: b -> a
default m :: (forall x -> x) ~ b => b -> a
m = undefined
|