ts-constrain-type

A generic constrained identity function