{-# language PatternSynonyms #-}
module Bug1067B ( pattern P ) where

import Bug1067A