「この関数を`M<'T>`の値に適用したい場合は」とかの方がいいかも？
それはそれとして、なんでいきなり`'T -> M<'U>`なる関数を`M<'T>`に適用なんて話になったのかがわからんかも。