[Haskell-cafe] type level function with different return kinds

Barak A. Pearlmutter barak at cs.nuim.ie
Sun Apr 6 20:37:42 UTC 2025


Can a type level function have different return kinds depending on its
arguments?

I think this question is best answered by quoting
https://aphyr.com/posts/342-typing-the-technical-interview

“Haskell is a dynamically-typed, interpreted language.”


More information about the Haskell-Cafe mailing list