> If your types are not structurally too complicated

Load bearing hand waving.