Function lower

lower<F>(
functor: TypeClass.Functor.Functor<F>,
): <A>(coy: Coyoneda.Coyoneda<F, A>) => Get1<F, A>
Lowers coy on a presheaf.
Type Parameters
- F
Parameters
- functor: TypeClass.Functor.Functor<F>
  The instance of Functor for F.
Returns <A>(coy: Coyoneda.Coyoneda<F, A>) => Get1<F, A>
The reduction on a presheaf.
- Defined in src/coyoneda.ts:116