Not sure if mkAbs works. Can't figure out fold/unfold :(
Treating single-item products correctly now
Added Unit type for testing