Currently, parser combinator libraries such as Combine require a very long time to type-check. This does not happen with similar Haskell libraries. This bug can be considered resolved when such libraries do not take too much time to type check.