This is a bit cumbersome, as it involves yet another abstract
intermediate type, but necessary due to language limitations.