tcfail178.hs:15:7: error:
    • Couldn't match type ‘()’ with ‘[a]’
      Expected: Bool -> [a]
        Actual: Bool -> ()
    • In the first argument of ‘a’, namely ‘y’
      In the expression: a y
      In an equation for ‘c’: c = a y
    • Relevant bindings include c :: [a] (bound at tcfail178.hs:15:1)

tcfail178.hs:18:7: error:
    • Couldn't match expected type ‘Bool -> [a]’ with actual type ‘()’
    • In the first argument of ‘a’, namely ‘()’
      In the expression: a ()
      In an equation for ‘d’: d = a ()
    • Relevant bindings include d :: [a] (bound at tcfail178.hs:18:1)