Success #stdin #stdout 0.01s 3720KB
stdin
44
stdout
Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just (Just ())))))))))))))))))))))))))))))))))))))))))))