Fix two typo in the use of type substitution: used \triangleq instead
of \mapsto