blob: e931ac5cb8a36b49d94600f19607fc95052cf410 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE Rank2Types, 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
|