
tcfail110.hs:8:30:
    Expecting one more argument to `Foo a'
    In the type signature for `bar':
      bar :: String -> (forall a. Foo a) -> IO ()
