Describe in detail what the type means, including how its components are related from the definition of following function foo in SML. Write an example code of your own function foo which has the same type definition. Then, test your function foo by feeding sample input and write expected output (result). Briefly explain your code and experiment to get any credit.

foo: ('a -> bool) -> 'a list -> 'a list