Functional utilities for PHP