[gpderetta]

Oh, I see you want to annotate the parameter in the type position, so the annotation act as some sort of qualifier.