nonmonadic example