<div dir="ltr"><span style="font-size:12.8px">If we assume that you drink beer:</span><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">    let drink beer = True</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Then we can conclude that it doesn’t matter which hand you drink with:</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">    all drink (Left Handed) == all drink (Right Handed) == True</div><div class="gmail-yj6qo gmail-ajU" style="font-size:12.8px"></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Apr 1, 2017 at 4:08 AM, Andreas Abel <span dir="ltr"><<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">GHCi, version 7.10.3: <a href="http://www.haskell.org/ghc/" rel="noreferrer" target="_blank">http://www.haskell.org/ghc/</a>  :? for help<br>
Prelude> data Handed = Handed<br>
Prelude> let drink beer = beer<br>
Prelude> all drink (Left Handed)<br>
True<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
Andreas Abel  <><      Du bist der geliebte Mensch.<br>
<br>
Department of Computer Science and Engineering<br>
Chalmers and Gothenburg University, Sweden<br>
<br>
<a href="mailto:andreas.abel@gu.se" target="_blank">andreas.abel@gu.se</a><br>
<a href="http://www.cse.chalmers.se/~abela/" rel="noreferrer" target="_blank">http://www.cse.chalmers.se/~ab<wbr>ela/</a><br>
______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/libraries</a><br>
</font></span></blockquote></div><br></div></div>