module Examples.Coalgebraic where -- >>> [Just 1, Just 2, Just 3] & _Just >- sum -- Just 6 -- >>> [Just 1, Nothing, Just 3] & _Just >- sum -- Nothing -- >>> [Right 1, Left "whoops", Right 2] & _Right >- sum -- Left "whoops"