and I wanted the syntax to reflect types vs expression