Summary

The user is reporting a potential bug with the Effect.repeat function in the Effect-TS library. Specifically, they observe that the inferred type of the program variable is incorrect. The expected type is [string[], number], but the inferred type is string[]. The user notes that this issue does not occur when using the Effect.repeatN function. They also provide a code snippet to demonstrate the issue and a link to the Effect-TS playground.

Key Takeaways:

1. The user suspects a bug with Effect.repeat related to incorrect type inference.
2. The expected type is [string[], number], but the inferred type is string[].
3. The issue does not occur with Effect.repeatN.
4. A code snippet and a playground link are provided for reference.

Discord thread

https://discord.com/channels/795981131316985866/1269103375065026580