Added a derivation for Ozgun's's retry (Haskell.)