frege.run

Interface Kind.B<𝐓,𝓐,𝓑>