Walexander

import type * as P from "@tsplus/stdlib/prelude/Covariant"
import type { Unfolder } from "@tsplus/stdlib/prelude/Recursive"
// Type definitions
export type MyNonEmptyList<A> = Leaf<A> | Node<A>
export type Carrier<A> = Tuple<[A, A]>
export interface ListF extends HKT {
  readonly type: MyNonEmptyList<this["A"]>
}

export const Functor: Covariant<ListF> = HKT.instance<P.Covariant<ListF>>({