summaryrefslogtreecommitdiff
path: root/testsuite/tests/cabal/sigcabal02/q/Map.hsig
blob: 40fd0bc74c9b0ac3032af241c9d2e47dcf1cff5c (plain)
1
2
3
4
5
6
7
{-# LANGUAGE RoleAnnotations #-}
module Map where

type role Map nominal representational
data Map k a

member :: Ord k => k -> Map k a -> Bool