Programs annotated with types
But when we dug them out
There were only types