Comment by jcora

This is not a practical language with dependent types tho lol