Wrapped bottom and preimage arrow computations in structs