./layout001a.idr:5:1:
  |
5 | y
  | ^
Wrong indention: should be greater than context indentation

./layout001b.idr:5:3:
  |
5 | = y
  |   ^
Wrong indention: should be greater than context indentation

./layout001c.idr:3:1:
  |
3 | 2
  | ^
= is not a valid operator
Wrong indention: should be greater than context indentation

./layout001e.idr:6:1:
  |
6 | 3
  | ^
Wrong indention: should be greater than context indentation

./layout001f.idr:6:2:
  |
6 |  3
  |  ^
Wrong indention: should be greater than context indentation

./layout001g.idr:6:3:
  |
6 |   3
  |   ^
Wrong indention: should be greater than context indentation

./layout001h.idr:6:3:
  |
6 |   3
  |   ^
Wrong indention: should be greater than context indentation

./layout001i.idr:6:4:
  |
6 |    3
  |    ^
Wrong indention: should be greater than context indentation

./layout001j.idr:6:5:
  |
6 |     3
  |     ^
Wrong indention: should be greater than context indentation

./layout001l.idr:6:1:
  |
6 | y
  | ^
Wrong indention: should be greater than context indentation

mplus1.idr:13:31:When checking right hand side of term with expected type
        Maybe Int

When checking an application of function Prelude.Applicative.pure:
        No such variable f
./mplus2.idr:17:37:
   |
17 |                                     `mplus` pure f
   |                                     ^
not end of block

mplus3.idr:11:1:warning - Unreachable case: term