I have been always reticent to create types inside non-test functions. Do you know how these work at a lower level? I am interested to perhaps bust my myth.