import { type Semigroupoid } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts";
Semigroupoid https://github.com/fantasyland/static-land/blob/master/docs/spec.md#semigroupoid
TODO Think about how to extend this interface
Type Parameters
URI extends URIS