>>56Your complaint on >>35 is not justified. foldr on a singly linked list cannot be done in O(1), imperative language or not.