Some abstraction for extending concrete functions and objects.