{-# LANGUAGE PatternSynonyms #-}
pattern J, K :: a -> Maybe a