add BijectionT instances