convertType (HsTyLit NOEXTP lit) =
  case lit of
    HsNumTy _src int -> either convUnsupported' (pure . Num) $ convertInteger "type-level integers" int
    HsStrTy _src str -> pure $ convertFastString str
convertType (HsTyLit NOEXTP lit) =
  case lit of
    HsNumTy _src int -> either convUnsupported' (pure . Num) $ convertInteger "type-level integers" int
    HsStrTy _src str -> pure $ convertFastString str
convertType (HsTyLit NOEXTP lit) =
  case lit of
    HsNumTy _src int -> either convUnsupported' (pure . Num) $ convertInteger "type-level integers" int
    HsStrTy _src str -> pure $ convertFastString str