pub fn proj_call<S: Into<Str>>(
    lhs: TyParam,
    attr_name: S,
    args: Vec<TyParam>
) -> Type