{-# LANGUAGE PatternSynonyms, DataKinds #-}

pattern A = True

class    F a
instance F A