The best I can do for monads is "it's like Option and Result in rust"