| case sameCurrency m1 m2 of -- Forced to call the predicate | |
| Yes _ => add m1 m1 -- Can only call `add` in this branch | |
| No _ => ... -- Cannot call `add` in this branch |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment