Type-level function utilities.