Parameterise the AST by the type of annotations.