Error Monad w/ optimizer for better MCall detection