interface Category implements TypeClass<U>, Semigroupoid<U>import { type Category } from "https://deno.land/x/fun@v.2.0.0-alpha.11/category.ts"; Category https://github.com/fantasyland/static-land/blob/master/docs/spec.md#category Type ParametersU extends KindPropertiesreadonlyid: <A, B, C>() => $<U, [A, B, C], [A], [A]>