variable apimport { ap } from "https://deno.land/x/fun@v2.0.0/examples/hkts.ts"; type<A, I>(tfai: Option<(a: A) => I>) => unknown