Я использую библиотеку Scala для котов, и IntelliJ IDE, похоже, борется с использованием последствий:

Вот простой пример:

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

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

В IntelliJ этот код выделен красным. Но я могу построить просто отлично, используяMake Project или командная строка.

Прямо сейчас ошибка:

Выражение типа Nothing [List [Nothing]] не соответствует ожидаемому типу Option [List [A]]

В других случаях ошибка что-то вроде:

последовательность значений не является членом List [Option [A]]

Это ошибка в IntelliJ или мне не хватает какой-то конфигурации?

Я использую IntelliJ 15.0.2 с версией 2.0.4 плагина Scala.