convertType (HsKindSig NOEXTP ty k) =
  HasType <$> convertLType ty <*> convertLType k
convertType (HsKindSig NOEXTP ty k) =
  HasType <$> convertLType ty <*> convertLType k
convertType (HsKindSig NOEXTP ty k) =
  HasType <$> convertLType ty <*> convertLType k