3 ms·https://lobste.rs/s/drw8uh/power_types_idris https://lobste.rs/s/drw8uh/power_types_idrisby based2 8y agohttps://lobste.rs/s/drw8uh/power_types_idris https://lobste.rs/s/drw8uh/power_types_idris