blob: f8df47d73d80852d5d313b2a8fe8e63d82c3e5c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE QuantifiedConstraints, UndecidableInstances #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE NoImplicitPrelude #-}
module T22216a where
class Eq a
class Eq a => Ord a
class (forall b. Eq b => Eq (f b)) => Eq1 f
class (Eq1 f, forall b. Ord b => Ord (f b)) => Ord1 f
foo :: (Ord a, Ord1 f) => (Eq (f a) => r) -> r
foo r = r
|