MLにできてHaskellにできないことって何ですか?