Fix type-sig
Improve infix op