And although we can again gain composablility by modifying the types of each function to be codice_135, this would require us to add boilerplate code to each function to extract the integer from the tuple, which would get tedious as the number of such functions increases.