Type Alias Rule<T, R, _N>

Rule:
    | { with: Pattern<T>; when?: (v: T) => boolean; then: ThenFn<T, R> }
    | { otherwise: R | ((v: T) => R) }