*** Last  0.05s -->
Input: \f -> f [] == Nothing && (f "1" == Just '1') && (f "12" == Just '2') && (f "123" == Just '3')