@@ -195,8 +195,11 @@ import Data.Aeson (FromJSON, ToJSON)
196type R f = DSum f Identity --TODO: Better name
196type R f = DSum f Identity --TODO: Better name
198+-- | Convenience builder for an 'R' using 'Identity' for the functor.
198pattern (:/) :: f a -> a -> R f
199pattern (:/) :: f a -> a -> R f
199pattern a :/ b = a :=> Identity b
200pattern a :/ b = a :=> Identity b
201+{-# COMPLETE (:/) #-}
201-- | Like '(:/)' but adds a 'Just' wrapper around the right-hand side.
204-- | Like '(:/)' but adds a 'Just' wrapper around the right-hand side.
202(?/) :: f (Maybe a) -> a -> R f
205(?/) :: f (Maybe a) -> a -> R f