Maybe something with dependent typing like Idris2 or a future Haskell release?