Haskellで main = putStrLn $ show Nothing こうするとエラーになる。 たとえばJust 0ならMaybe IntでJust "one"ならMaybe Stringって分かるけど NothingはMaybeだってことしか分からないから駄目なのだろう。 どのみち結果は"Nothing"なんだからいーじゃね…