ws
almost-complete impl of member typing for use-site variance