De-monadify