simplified (^/)'s type