Right, I am not sure if we can make this work then (it doesn't for typespecs).