Ang Hao Yang

Not sure why you might need this but this PR allows you to constrain config fields to singleton literal values. Example with Scala 2.13 (you will need `Witness` for Scala...

Inconsistent `ApplicativeError` behaviour for `OptionT[F[_], A]` / `EitherT[F[_], A, B]` if `F[_]` also has an `ApplicativeError` instance

4

For example, if `F[_]` is `Either[Throwable, *]`, there would exist 2 instances of `ApplicativeError` for `OptionT[Either[Throwable, *], *]`: ```scala ApplicativeError[OptionT[Either[Throwable, *], *], Throwable] // higher priority instance derived from `F[_]`...

Optimise `fromListWith` in `Map` and `TextMap` for list-like structures.

5

Optimise `fromListWith` to prepend the singleton list to the accumulated list instead of appending to it. It also does not make sense that `fromListWith` appends the new values and `insertWith`...

Alternative syntax for polymorphic lambdas (for Shapeless)

3

Currently `kind-projector` allows ```scala val g = λ[Id ~> Option].run(x => Some(x)) ``` to be rewritten as ```scala val g = new (Id ~> Option) { def run[A](x: Id[A]): Option[A]...

I not too familiar with macro annotations but I would like to propose a change of `op` annotation arguments from: ```scala final class op(name: String, alias: Boolean = false) extends...

Add synonyms (:|), (<|) for NonEmpty. Reimplement show with synonym.

3

This is currently broken, probably because of #20481 #22421 . ``` File: .daml/package-database/2.dev/daml-stdlib-17fd9326e983358eb9277e99a5517d4275d09d959ca4355d0f0e894ff72b8753-17fd9326e983358eb9277e99a5517d4275d09d959ca4355d0f0e894ff72b8753/DA/NonEmpty.daml Hidden: no Range: 177:10-177:12 Source: typecheck Severity: DsError Message: .daml/package-database/2.dev/daml-stdlib-17fd9326e983358eb9277e99a5517d4275d09d959ca4355d0f0e894ff72b8753-17fd9326e983358eb9277e99a5517d4275d09d959ca4355d0f0e894ff72b8753/DA/NonEmpty.daml:177:10: error: The fixity signature for ‘:|’ lacks...

We introduced `fromListWithL` and `fromListWithR` in #18249 because `fromListWith` was combining in the reverse order and fixing it would introduce a semantic change. With the DAML3 GA, do we still...

Relates to #20591.