Type-safe functional utilities
Dependencies
TODO