reflection : type annotate the top-level mirrors