fix desugared type