blob: 0360749c2cf5f43a43298ecaf37d395edf5d5bd2 (
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
|