MODULE Category Category type class interface Category<F> extends Semigroupoid<F> { id: <A>() => HKT2<F, A, A> }