Re: type level function with different return kinds

"Barak A. Pearlmutter" <[email protected]>
Newsgroups gmane.comp.lang.haskell.cafe
Message-ID <CANa01BJP8iVkJnYQAaq3Tukxx3FvMwKEQK=Lw+QP+zYkpVzuFg@mail.gmail.com> 
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.”
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.