method
set_type u = t <- u