if I edit the generated file to change each of the...
# arrow
j
if I edit the generated file to change each of the IO's to an IO<A> then it works