allow using of toplevel types