blob: 189055914a582de0d4032b35d1ed70d0725897d1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
-- Trac #2572
module Foo where
type GTypeFun = forall a . a -> ()
gmapType :: Int -> GTypeFun
gmapType _ (_ :: a) = undefined
|