{-# LANGUAGE RoleAnnotations #-} signature Data.Map where type role Map nominal representational data Map k a instance Functor (Map k)