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