Monads to Machine Code

{{description}}