Comment Comment by reagency GHC does global type inference, and has very sophisticated types. parent reagency 11 years ago
