frege.run

Interface Kind.U<𝐓,𝓐>