Variable andThen`Const`

andThen: {
<T, U>(maybe: Maybe<T>, fn: (value: T) => Maybe<U>): Maybe<U>;
<T, U>(fn: (value: T) => Maybe<U>): (maybe: Maybe<T>) => Maybe<U>;
} = flatMap

Alias for flatMap — same dual-form shape.

Type Declaration

- <T, U>(maybe: Maybe<T>, fn: (value: T) => Maybe<U>): Maybe<U>
- Canonical bind for Maybe. Chains a Maybe-returning step; short-circuits on None. Dual-form.
  Type Parameters
  - T
  - U
  Parameters
  - maybe: Maybe<T>
  - fn: (value: T) => Maybe<U>
  Returns Maybe<U>
  Example
```
flatMap(fromNullable(user), (u) =>
  u.active ? some(u) : none(),
);
```
- <T, U>(fn: (value: T) => Maybe<U>): (maybe: Maybe<T>) => Maybe<U>
- Canonical bind for Maybe. Chains a Maybe-returning step; short-circuits on None. Dual-form.
  Type Parameters
  - T
  - U
  Parameters
  - fn: (value: T) => Maybe<U>
  Returns (maybe: Maybe<T>) => Maybe<U>
  Example
```
flatMap(fromNullable(user), (u) =>
  u.active ? some(u) : none(),
);
```