{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE DataKinds #-}

pattern PATTERN = ()

wrongLift :: PATTERN
wrongLift = undefined