Qualified types half done