UnitBox can have completely heterogeneous types.