Поправочка, это был David Feuer
I'd like to place a small bounty on
https://ghc.haskell.org/trac/ghc/wiki/NewtypeOptimizationForGADTS .
If someone implements this request by GHC 8.2, I will buy them 24
bottles of high-end root beer (e.g., Maine Root) or something of
similar value agreeable to both parties. (*)
Space ... the final frontier.
These are the voyages of the starship Enterprise
Its five year mission ...
... to boldly go where no-one has gone before
You are Captain Kirk. Your mission is to destroy
all of the Klingons in the galaxy.
. . . . . . . .
. . . . . . . .
. . . . -O- . . .
. . . . . . . .
. . . . . . .
. . . . . . . .
. . . . . . .
. . . . . . . >!<
Stardate: 1039.0
Condition: Red
Energy: 3000
Photon torpedoes: 15
Shields: 0
Klingons in galaxy: 83
Command (1-6, 0 for help)?