*** CAR  < 0.001s --> 
Input: \f -> f [] == Nothing && (f "1" == Just '1') && (f "12" == Just '1') && (f "123" == Just '1')