|
|
|
|
|
|
by tempodox
3320 days 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? |
|
|