> I think it has some Haskell-like ones.

Eta might be what you're referring to: https://eta-lang.org/

(there's also Frege, but it's less haskell-y)