Functor map for the coproduct

Signed-off-by: Ricky Elrod <ricky@elrod.me>