`Type mismatch: inferred type is EvalMonadInstance...
# arrow
a
Type mismatch: inferred type is EvalMonadInstance but EvalApplicativeInstance was expected