frege.run

Interface Kind.Q<𝐓,𝓐,𝓑,𝓒,𝓓>