tcfail110.hs:8:30: error:
    • Expecting one more argument to ‘Foo a’
      Expected a type, but ‘Foo a’ has kind ‘* -> *’
    • In the type signature:
        bar :: String -> (forall a. Foo a) -> IO ()