1 2 3 4 5 6 7
{-# OPTIONS_GHC -Wmissing-pattern-synonym-signatures #-} {-# LANGUAGE PatternSynonyms #-} module T12484 where pattern RP x = (x, True)