blob: 9df5d9f483ae2e3ecb992afdf04fde42225bd5d4 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
-- This should work, because the type sig and the type
-- in the pattern match exactly
module Foo where
foo :: (forall a. a -> b) -> b
foo (f :: forall a. a -> b) = f undefined :: b
|