testsuite/tests/typecheck/should_compile/T3692.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE RankNTypes #-}

module T3692 where

type Foo a b = () -> (Bar a => a)

class Bar a where {}

boo :: Foo p q
boo x = undefined

foo :: Foo a b
foo y = id (\x -> boo x) y