<div dir="ltr">Hello,<div>could someone explain me simple how return-type polymorphism works</div><div>in the following case:</div><div>newEmptyMVar :: IO (MVar a) ?</div></div>