module T16059c where

import T16059b

f :: Foo -> a -> f
f g x = g x