Module type Arrow_plus.LAWS

type ('a, 'b) t