annotating method return types