 
            
            
            
            
                5 Jan
                
                    2021
                
            
            
                5 Jan
                
                '21
                
            
            
            
        
    
                1:22 p.m.
            
        Hello, could someone explain me simple how return-type polymorphism works in the following case: newEmptyMVar :: IO (MVar a) ?