*** LENGTH  0.008s -->
Input: \f -> f [] == 0 && (f ["a"] == 1) && (f ["a", "b"] == 2) && (f ["1","2","3"] == 3)