Yes, Maybe/Options are a way of encoding partial functions/exceptions.
List is a way of encoding non-determinism.