Estoy usando la biblioteca Scala de gatos y el IntelliJ IDE parece estar luchando con el uso de implicidades:

Aquí hay un ejemplo simple:

import cats.std.all._
import cats.Traverse.ops._

def useSequence[A](ls : List[Option[A]]) : Option[List[A]] = {
  ls.sequence
}

En IntelliJ, este código se resalta en rojo. Pero puedo construir bien usandoMake Project o la línea de comando.

En este momento el error es:

Expresión de tipo Nada [Lista [Nada]] no se ajusta al tipo esperado Opción [Lista [A]]

Otras veces el error es algo como:

secuencia de valores no es miembro de la Lista [Opción [A]]

¿Es esto un error en IntelliJ o me falta alguna configuración?

Estoy usando IntelliJ 15.0.2 con la versión 2.0.4 del complemento Scala.