GivenForallLoop.hs:8:11: error: [GHC-25897]
    • Could not deduce ‘a ~ b’
      from the context: a ~ (forall b1. F a b1)
        bound by the type signature for:
                   loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b
        at GivenForallLoop.hs:7:1-42
      ‘a’ is a rigid type variable bound by
        the type signature for:
          loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b
        at GivenForallLoop.hs:7:1-42
      ‘b’ is a rigid type variable bound by
        the type signature for:
          loopy :: forall a b. (a ~ (forall b1. F a b1)) => a -> b
        at GivenForallLoop.hs:7:1-42
    • In the expression: x
      In an equation for ‘loopy’: loopy x = x
    • Relevant bindings include
        x :: a (bound at GivenForallLoop.hs:8:7)
        loopy :: a -> b (bound at GivenForallLoop.hs:8:1)