Now type T needs munging with a declare annotation 