type -> qtype