В чём проблема? Отменить тотальное равенство для Maybe? Отменить-то можно, а смысл?

someResult match
  case None => println("no result")
  case Some(result) => println(s"Success: $result")

Работать не будет. Вообще интуиционистской логики не построить. Там равенство определяется как классификатор диагонали. Так что нельзя будет определять, например, подобъекты.

В принцпе, NaN нахер не нужен при вычислениях - это сигнал, что результата нет, т.к. функция частичная. Ну, например, кольцо целых чисел не является полем. Ну и чо? На хрена?