Brian McKenna

scalac first checks for `withFilter` and falls back to `filter` - total pattern matches in a for-comprehensions causing `filter` calls has been a problem for me.

Wart fusion

1

We need to support mosaic warts :smiling_imp: Instead of doing multiple full traversals, we should be able to fuse many WartTraversals into a single traversal of an AST.

Comment [here](https://github.com/puffnfresh/wartremover/issues/39#issuecomment-33349453) talks about using rangepos as a hack for distinguishing between truly synthetic and user code. Can we use it for the compiler plugin, macros, etc?

Like with `==`, we should detect whether a parameter to `contains` is obviously bogus.

List#flatMap

4

Scala makes me laugh, what a joke this is: ``` scala def flatMap[B](f: (A) ⇒ GenTraversableOnce[B]): List[B] ``` Example brokeness: ``` scala case class Foo(n: Option[Int], s: Option[String]) val lst...

First-Class Protocols

5

I'd love to see a version of Fantasy Land which takes advantage of @michaelficarra's First-Class Protocols proposal: https://github.com/michaelficarra/proposal-first-class-protocols

Strong

6

Instead of Arrow (#273) we should have Strong Profunctor. It probably makes sense to do Choice Profunctor with this. The occurrences of Tuple and Either should be Scott-encoded so we...