<html><head><style>p{margin-top:0px;margin-bottom:0px;}</style></head><body><div style="color: #d4d4d4;background-color: #1e1e1e;font-family: Unifont;font-weight: normal;font-size: 16px;line-height: 22px;white-space: pre;"><div><span style="color: #569cd6;">instance</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">MonadFix</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">Down</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">where</span></div><div><span style="color: #d4d4d4;"> mfix f </span><span style="color: #d4d4d4;">=</span><span style="color: #d4d4d4;"> Down (fix (</span><span style="color: #d4d4d4;">\</span><span style="color: #d4d4d4;">x </span><span style="color: #d4d4d4;">-></span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">let</span></div><div><span style="color: #d4d4d4;"> Down x' </span><span style="color: #d4d4d4;">=</span><span style="color: #d4d4d4;"> f x</span></div><div><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">in</span><span style="color: #d4d4d4;"> x'</span></div><div><span style="color: #d4d4d4;"> ))</span></div><br><div><span style="color: #569cd6;">instance</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">MonadFix</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">Proxy</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">where</span></div><div><span style="color: #d4d4d4;"> mfix _ </span><span style="color: #d4d4d4;">=</span><span style="color: #d4d4d4;"> Proxy</span></div><br><div><span style="color: #569cd6;">instance</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">MonadFix</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">U1</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">where</span></div><div><span style="color: #d4d4d4;"> mfix _ </span><span style="color: #d4d4d4;">=</span><span style="color: #d4d4d4;"> U1</span></div><br><div><span style="color: #569cd6;">instance</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">MonadFix</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">Complex</span><span style="color: #d4d4d4;"> </span><span style="color: #569cd6;">where</span></div><div><span style="color: #d4d4d4;"> mfix f </span><span style="color: #d4d4d4;">=</span><span style="color: #d4d4d4;"> fix (realPart </span><span style="color: #d4d4d4;">.</span><span style="color: #d4d4d4;"> f) </span><span style="color: #d4d4d4;">:+</span><span style="color: #d4d4d4;"> fix (imagPart </span><span style="color: #d4d4d4;">.</span><span style="color: #d4d4d4;"> f)</span></div></div></body></html><table style='display:none'><tr><td><img src="https://mail.naver.com/readReceipt/notify/?img=JZFCbHFTpz%2FYaqgZKrRZM4EwFou%2FKxF0KAtqp4kSMoK9aAUZF634axpSpoKrpAFgMX%2B0Mogw74lR74lcWNFlbX30WLloWrdQarwGMNiCb400bdIcMBFOp6wn74eZpm%3D%3D.gif" border="0"/></td></tr></table>