>>359
そりゃ違うでしょ、Maybe (a -> b)型のNothingとMaybe b型のNothingなんだから