ideas for explicit parameter types and template syntax