Was ist die Monomorphismusbeschränkung?

Ich bin verwirrt darüber, wie der Haskell-Compiler manchmal Typen ableitet, die weniger polymorph sind als erwartet, zum Beispiel bei der Verwendung von punktfreien Definitionen. Es scheint, dass das Problem die "Monomorphismus-Einschränkung" ...