> I think it has some Haskell-like ones. Eta might be what you're referring to: https://eta-lang.org/ https://eta-lang.org/ (there's also Frege, but it's less

> I think it has some Haskell-like ones. Eta might be what you're referring to: https://eta-lang.org/ https://eta-lang.org/ (there's also Frege, but it's less haskell-y)