-- point and the result is returned wrapped in a 'Just'. If the
-- point is outside of the domain, 'Nothing' is returned.
evaluate :: Piecewise a -> a -> Maybe a
-- point and the result is returned wrapped in a 'Just'. If the
-- point is outside of the domain, 'Nothing' is returned.
evaluate :: Piecewise a -> a -> Maybe a