I think `implementation` is right.  You still have to instantiate the result.  (I think I screwed up `trivialInput` pretty badly, good thing it will be sort of irrelevant soon, maybe we can just get rid of it).