I recently fell in love with Agda and it seems like you'd like it too. It's basically Haskell but even more mathematical, pure, abstract and total.
[1] https://wiki.portal.chalmers.se/agda/pmwiki.php https://github.com/agda/agda [2] https://www.idris-lang.org/