tcfail174.hs:20:14: error: [GHC-25897]
    • Couldn't match type ‘a1’ with ‘a’
      Expected: Capture (forall x. x -> a)
        Actual: Capture (forall a. a -> a)
      ‘a1’ is a rigid type variable bound by
        the type a -> a
        at tcfail174.hs:20:1-14
      ‘a’ is a rigid type variable bound by
        the inferred type of h1 :: Capture a
        at tcfail174.hs:20:1-14
    • In the first argument of ‘Capture’, namely ‘g’
      In the expression: Capture g
      In an equation for ‘h1’: h1 = Capture g
    • Relevant bindings include
        h1 :: Capture a (bound at tcfail174.hs:20:1)

tcfail174.hs:23:14: error: [GHC-25897]
    • Couldn't match type ‘a’ with ‘b’
      Expected: Capture (forall x. x -> b)
        Actual: Capture (forall a. a -> a)
      ‘a’ is a rigid type variable bound by
        the type a -> a
        at tcfail174.hs:1:1
      ‘b’ is a rigid type variable bound by
        the type signature for:
          h2 :: forall b. Capture b
        at tcfail174.hs:22:1-15
    • In the first argument of ‘Capture’, namely ‘g’
      In the expression: Capture g
      In an equation for ‘h2’: h2 = Capture g
    • Relevant bindings include
        h2 :: Capture b (bound at tcfail174.hs:23:1)