Ugh, working out the intermediate type is non-triv...
# development
a
Ugh, working out the intermediate type is non-trivial