foo :: (T () -> T () -> ()) -> ()
foo = \ (f :: T () -> T () -> ()) -> f T17787.$WC T17787.$WC