<div dir="ltr"><div style="color:rgb(212,212,212);background-color:rgb(30,30,30);font-weight:normal;font-size:16px;line-height:22px;white-space:pre"><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Eq1</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Complex</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">where</span></div><div><span style="color:rgb(212,212,212)">    liftEq f (x </span><span style="color:rgb(212,212,212)">:+</span><span style="color:rgb(212,212,212)"> y) (u </span><span style="color:rgb(212,212,212)">:+</span><span style="color:rgb(212,212,212)"> v) </span><span style="color:rgb(212,212,212)">=</span><span style="color:rgb(212,212,212)"> f x u </span><span style="color:rgb(212,212,212)">&&</span><span style="color:rgb(212,212,212)"> f y v</span></div><br><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Show1</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Complex</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">where</span></div><div><span style="color:rgb(212,212,212)">    liftShowsPrec sp _ p (x </span><span style="color:rgb(212,212,212)">:+</span><span style="color:rgb(212,212,212)"> y) </span><span style="color:rgb(212,212,212)">=</span><span style="color:rgb(212,212,212)"> showParen (p </span><span style="color:rgb(212,212,212)">>=</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(181,206,168)">6</span><span style="color:rgb(212,212,212)">) (sp p x </span><span style="color:rgb(212,212,212)">.</span><span style="color:rgb(212,212,212)"> showString </span><span style="color:rgb(206,145,120)">" :+ "</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(212,212,212)">.</span><span style="color:rgb(212,212,212)"> sp p y)</span></div><br><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Read1</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Complex</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">where</span></div><div><span style="color:rgb(212,212,212)">    liftReadPrec rp _ </span><span style="color:rgb(212,212,212)">=</span><span style="color:rgb(212,212,212)"> parens </span><span style="color:rgb(212,212,212)">$</span><span style="color:rgb(212,212,212)"> prec </span><span style="color:rgb(181,206,168)">6</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(212,212,212)">$</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(197,134,192)">do</span></div><div><span style="color:rgb(212,212,212)">        x </span><span style="color:rgb(212,212,212)"><-</span><span style="color:rgb(212,212,212)"> step rp</span></div><div><span style="color:rgb(212,212,212)">        Symbol </span><span style="color:rgb(206,145,120)">":+"</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(212,212,212)"><-</span><span style="color:rgb(212,212,212)"> lexP</span></div><div><span style="color:rgb(212,212,212)">        y </span><span style="color:rgb(212,212,212)"><-</span><span style="color:rgb(212,212,212)"> step rp</span></div><div><span style="color:rgb(212,212,212)">        return (x </span><span style="color:rgb(212,212,212)">:+</span><span style="color:rgb(212,212,212)"> y)</span></div><div><span style="color:rgb(212,212,212)">    liftReadList </span><span style="color:rgb(212,212,212)">=</span><span style="color:rgb(212,212,212)"> liftReadListDefault</span></div><div><span style="color:rgb(212,212,212)">    liftReadListPrec </span><span style="color:rgb(212,212,212)">=</span><span style="color:rgb(212,212,212)"> liftReadListPrecDefault</span></div></div></div>