Comment Comment by Joker_vD It's perfectly well typed in System F as "forall a. (a -> a) -> a". parent Joker_vD 5 years ago
