keep :: ((t -> b) -> u -> b) -> ((t1 -> t) -> b) -> (t1 -> u) -> b

On Wed, May 26, 2010 at 12:49 PM, Lennart Augustsson <lennart@augustsson.net> wrote:

There are no interesting (i.e. total) functions of that type.

I wonder how one would prove that to be the case. I tried and didn't come up with anything.

David