attempting to annotate things that deal with templates, probably need to give templates a type now