{-# LANGUAGE PatternSynonyms #-}
pattern J x = Just x