convertType (HsTyVar NOEXTP _ (L _ tv)) =
  Qualid <$> var TypeNS tv
convertType (HsTyVar NOEXTP _ (L _ tv)) =
  Qualid <$> var TypeNS tv
convertType (HsTyVar NOEXTP _ (L _ tv)) =
  Qualid <$> var TypeNS tv