3 ms·
> ... 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 h
by tempodox 10y ago
> ... 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 10y agoAssuming "correct behavior" mean no bottom, and follow monad law, yes.