Forgot name change + Unnecessary override of ret
Example: Identity monad