module Foo () where {-@ foo :: forall a
x1:a -> Prop>. (i:Int -> j : Int-> a
) -> ii:Int -> jj:Int -> a
@-} foo :: (Int -> Int -> a) -> Int -> Int -> a foo f i j = f i j