documentation: add motivating section to Control.Monad.Fix

Merge request reports

Loading