import type { Kind, $ } from '../../kinds/index.js';
import type { ToDefaultParam } from '../../kinds/defaults';
import type { Tail } from '../../utils/tuples';
/**
 * Of is a typeclass that provides a way to inject a value into a type.
 */
export interface Of<F extends Kind> {
    /**
     * of :: `a -> F a`
     */
    of: <A>(a: A) => $<F, [A, ...Tail<ToDefaultParam<F['signature']>>]>;
}