Error 1 of 2:

  in module Main
  at tests/purs/failing/TypedHole4.purs:8:9 - 8:14 (line 8, column 9 - line 8, column 14)

    Hole 'help' has the inferred type
        
      a0
        
    You could substitute the hole with one of these values:
              
      b  :: a0
              
    in the following context:

      b :: a0


  in value declaration f

  where a0 is a rigid type variable
          bound at (line 0, column 0 - line 0, column 0)

  See https://github.com/purescript/documentation/blob/master/errors/HoleInferredType.md for more information,
  or to contribute content related to this error.

Error 2 of 2:

  in module Main
  at tests/purs/failing/TypedHole4.purs:9:9 - 9:14 (line 9, column 9 - line 9, column 14)

    Hole 'help' has the inferred type
        
      a0
        
    You could substitute the hole with one of these values:
              
      b  :: a0
              
    in the following context:

      b :: a0


  in value declaration f

  where a0 is a rigid type variable
          bound at (line 0, column 0 - line 0, column 0)

  See https://github.com/purescript/documentation/blob/master/errors/HoleInferredType.md for more information,
  or to contribute content related to this error.