{-# LANGUAGE PatternSynonyms, ViewPatterns, EmptyCase #-}

pattern Id <- (id -> _) where