GHCI says we all drink left-handed

[Jon Purdy]

If we assume that you drink beer:

    let drink beer = True

Then we can conclude that it doesn’t matter which hand you drink with:

    all drink (Left Handed) == all drink (Right Handed) == True


On Sat, Apr 1, 2017 at 4:08 AM, Andreas Abel <abela at chalmers.se> wrote:

> GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
> Prelude> data Handed = Handed
> Prelude> let drink beer = beer
> Prelude> all drink (Left Handed)
> True
>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
>
> andreas.abel at gu.se
> http://www.cse.chalmers.se/~abela/
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170401/9ff98bad/attachment.html>