Purescript is Haskell without cruft and built for the web era.

Idris or agda for type level goodies.