Added in v0.24.0
Signature
export interface Pointed<F extends TypeLambda> extends Covariant<F>, Of<F> {}