interface KindDecoded
implements Kind
import { type KindDecoded } from "https://deno.land/x/fun@v.2.0.0-alpha.11/decoder.ts";
Specifies Decoded as a Higher Kinded Type, with covariant parameter A corresponding to the 0th index of any substitutions.