Scalaz で Each 型を使用すると、非常に優れた設計ですが、メソッド getOrElse で型推論が失われます。
val either = ~3.right[String] | "123" // either: String
val either = 3.right[String] | "123" // either: Any
なぜ val どちらか = 3.right[String] | "123" は Int を参照していませんが、Any が発生しました。
それは欠陥ですか、それとも設計の一部ですか?
よろしくお願いします