> "the" instance i suppose you can probably do anything with dependent types, but i'm not sure this is a useful perspective. i commend you to read my comments

> "the" instance i suppose you can probably do anything with dependent types, but i'm not sure this is a useful perspective. i commend you to read my comments on the red website https://lobste.rs/s/xkcrvn/ https://lobste.rs/s/xkcrvn/ (i do think it is a valid question whether abstract interpretation is a good idea)