Re: [Haskell-cafe] [Off-topic] How unimportant it is whether submarines can swim (EWD1056)