Hello, could someone explain me simple how return-type polymorphism works in the following case: newEmptyMVar :: IO (MVar a) ? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/beginners/attachments/20210105/534a8674/attachment.html>