Open problem: some combinators cannot be typed.