Implement type conjunction and use it for rel minus
Deduce the return type of functions using conjunction