1 2 3 4 5 6 7 8 9
{-# LANGUAGE PatternSynonyms #-} module T19843e where import Prelude (undefined, map, Maybe(Just)) pattern Mup k = Just k foo (Map k) = undefined