[Agda] A problem with instance arguments and function application.

[effectfully]

Sorry, I described a problem, but didn't include an illustrative
example in the code. Fixed now: it's at the bottom of the module and
called "yellow".