interface MonadThrow implements Monad<URI, _>import { type MonadThrow } from "https://deno.land/x/hkts@v0.0.52/type_classes.ts"; MonadThrow https://github.com/gcanti/fp-ts/blob/master/src/MonadThrow.ts Type ParametersURI extends URISoptional_ extends any[] = any[]PropertiesreadonlythrowError: <A, B extends _[0], C extends _[1], D extends _[2]>(b: B) => Kind<URI, [A, B, C, D, ]>