This is toy-example.hs: {-# LANGUAGE ImpredicativeTypes #-} import Control.Arrow data From = From (forall a. Arrow a => a Int Char -> a [Int] String)
Does th开发者_如何学Ce runtime library pollute the global namespace?I don\'t think you really understand the terms you are using, but the names in the C++ Standard Library exist in the std namespace,