On: The Soft Side of Software

[tempodox]

> ... prove that this type forms a monad.

How do I “prove” a type forms a monad? I only have to implement `lift` and `bind` with the correct behavior, and I have a monadic interface. Did I prove then that the type forms a monad?

[MarisaKirisame → tempodox]

Assuming "correct behavior" mean no bottom, and follow monad law, yes.