path: root/testsuite/tests/typecheck/should_compile/T3692.hs

{-# LANGUAGE RankNTypes #-}

module T3692 where

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

class Bar a where {}

foo :: Foo a b
foo = id (undefined :: Foo a b)