4 ms·Requires dependent types. And yeah, research is probably a fair characterisation.by JonChesterfield 4y agoRequires dependent types. And yeah, research is probably a fair characterisation.