Testing Functional Programming