Add placeholder type for deduced template parameters
Add invoke function
Add currying in functional module
Add functional composition