a new approach at generalisation of partial type signatures, which takes into account annotated constraints...
implement extra constraints wildcard