4 ms·

Yeah ... I am no expert there. I would guess there is some overlap between refinement and dependent types, thou.