statet

func Ap[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTSAB ~func(S) HKTAB,
	HKTA,
	HKTB,
	HKTAB,

	S, A, B any,
](
	fmap func(func(pair.Pair[S, A]) pair.Pair[S, B]) func(HKTA) HKTB,
	fchain func(func(pair.Pair[S, func(A) B]) HKTB) func(HKTAB) HKTB,

	fa HKTSA,
) func(HKTSAB) HKTSB

func Chain[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A any,
](
	fchain func(func(pair.Pair[S, A]) HKTB) func(HKTA) HKTB,

	f func(A) HKTSB,
) func(HKTSA) HKTSB

func FromF[
	HKTSA ~func(S) HKTA,
	HKTA,

	HKTFA,

	S, A any,
](
	fmap func(HKTFA, func(A) pair.Pair[S, A]) HKTA,
	ma HKTFA) HKTSA

func FromState[
	HKTSA ~func(S) HKTA,
	ST ~func(S) pair.Pair[S, A],
	HKTA,

	S, A any,
](
	fof func(pair.Pair[S, A]) HKTA,
	sa ST,
) HKTSA

func Map[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A, B any,
](
	fmap func(func(pair.Pair[S, A]) pair.Pair[S, B]) func(HKTA) HKTB,

	f func(A) B,
) func(HKTSA) HKTSB

func MonadAp[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTSAB ~func(S) HKTAB,
	HKTA,
	HKTB,
	HKTAB,

	S, A, B any,
](
	fmap func(HKTA, func(pair.Pair[S, A]) pair.Pair[S, B]) HKTB,
	fchain func(HKTAB, func(pair.Pair[S, func(A) B]) HKTB) HKTB,

	fab HKTSAB,
	fa HKTSA,
) HKTSB

func MonadChain[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A any,
](
	fchain func(HKTA, func(pair.Pair[S, A]) HKTB) HKTB,

	fa HKTSA,
	f func(A) HKTSB,
) HKTSB

func MonadMap[
	HKTSA ~func(S) HKTA,
	HKTSB ~func(S) HKTB,
	HKTA,
	HKTB,
	S, A, B any,
](
	fmap func(HKTA, func(pair.Pair[S, A]) pair.Pair[S, B]) HKTB,

	fa HKTSA,
	f func(A) B,
) HKTSB

func Of[
	HKTSA ~func(S) HKTA,
	HKTA,
	S, A any,
](
	fof func(pair.Pair[S, A]) HKTA,

	a A) HKTSA