`AppliedTypeModule` doesn't provide the ability to create new instances. See https://github.com/lampepfl/dotty/blob/main/library/src/scala/quoted/Quotes.scala#L2757-L2759 This is as opposed to, say, [AnnotatedTypeModule](https://github.com/lampepfl/dotty/blob/main/library/src/scala/quoted/Quotes.scala#L2783) which does have an `apply` method.