Both of these things respectively are just pattern matches and monads, just not user-definable ones.