1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14

import Batteries

def a : Array Nat := Array.replicate 2000000 1

instance : Monad Array where
  bind x f := Array.flatMap f x
  pure x := #[x]
  map := Array.map

set_option trace.profiler true in
#eval Array.size (return 2 * (← a))

set_option trace.profiler true in
#eval ((2 * ·) <$> a).size