Whenever I try and get a proper explanation of a monad from the internet I get these miserable opaque examples which make me go "sorry I asked!" But I think a monad is basically just single type that when unwrapped gives you the result of a calculation and some metadata about the calculation.

I think it's more like Rust's Result or Option types then go's tuples but I'd say they both basically count.