3 ms·Maybe something with dependent typing like Idris2 or a future Haskell release?by pabs3 7mo agoMaybe something with dependent typing like Idris2 or a future Haskell release?