Type Alias Representable<P>

Representable: TypeClass.Strong.Strong<P> & {
    functor: TypeClass.Functor.Functor<Rep<P>>;
    index: <T, U>(
        f: Get2<P, T, U>,
    ) => (rep: T) => TypeClass.Representable.GetRep<P, U>;
    tabulate: <T, U>(
        f: (rep: T) => TypeClass.Representable.GetRep<P, U>,
    ) => Get2<P, T, U>;
}

F should extend HktRep because functions below require HktRep.

All instances of Representable must satisfy these laws: