Since we found an easier encoding with default val...
# arrow
r
Since we found an easier encoding with default value arguments and exploiting bottom type markers