T' and T a b seem to not mix well.

T' can not be passed to a function expecting T a b and vice versa

any suggestions?
​