MatchedType<TM>: TM extends TypedMatcher<infer T>
    ? T
    : never

Type Parameters