3 ms·Depends on the type theory. You need recursive types. Or you can just posit fix.by tel 13y agoDepends on the type theory. You need recursive types. Or you can just posit fix.