{-# LANGUAGE PatternSynonyms #-}
class C a where
    pattern P = ()