GHCI says we all drink left-handed

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@gu.se http://www.cse.chalmers.se/~abela/

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
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@gu.se http://www.cse.chalmers.se/~abela/ _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Indeed. But all (const True) _ == True does not really come as surprise. Not really usable as a joke, the element of surprise is lacking! On 01.04.2017 13:36, Jon Purdy wrote:
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
mailto:abela@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@gu.se mailto:andreas.abel@gu.se http://www.cse.chalmers.se/~abela/ http://www.cse.chalmers.se/~abela/ _______________________________________________ Libraries mailing list Libraries@haskell.org mailto:Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel@gu.se http://www.cse.chalmers.se/~abela/

You are right. But it gets worse! At first I assumed GHCi might just be saying "All left-handed people should be allowed to drink" but now I'm convinced it's biased. Following your definitions: Prelude> any (<3) (Left Handed) Prelude> False Ouch! No love for left-handed people at all! On 2017-04-01 13:08, Andreas Abel 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
participants (3)
-
Andreas Abel
-
Jon Purdy
-
MarLinn