import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { AssociativeCompose } from "@tsplus/stdlib/prelude/AssociativeCompose";
/**
 * @tsplus type Category
 */
export type Category<F extends HKT> = {
    readonly Law: {
        readonly Category: "Category";
    };
    readonly id: <A, E = never>() => HKT.Kind<F, A, E, A>;
} & AssociativeCompose<F>;
//# sourceMappingURL=Category.d.ts.map