Falsos erros ao usar a biblioteca de gatos no IntelliJ

Estou usando a biblioteca Scala de gatos e o IntelliJ IDE parece estar lutando com o uso de implícitos:

Aqui está um exemplo simples:

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

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

No IntelliJ, esse código é destacado em vermelho. Mas eu posso construir muito bem usandoMake Project ou a linha de comando.

No momento, o erro é:

Expressão do tipo Nothing [List [Nothing]] não está em conformidade com o tipo esperado Opção [List [A]]

Outras vezes, o erro é algo como:

sequência de valores não é membro da Lista [Opção [A]]

Isso é um bug no IntelliJ ou estou perdendo alguma configuração?

Estou usando o IntelliJ 15.0.2 com versão 2.0.4 do plug-in Scala.

questionAnswers(1)

yourAnswerToTheQuestion