it'd make working with spec easier
https://github.com/funcool/cats/pull/201 a little PoC
changing it didn't break any tests, so it looks ok ¯\(ツ)/¯
yeah, i generally prefer records over types in all my code now - making the internal structure accessible seems to have plenty upside and no downside with persistent datastructures
Yeah, and in this case, the internal type structure was exposed (the ILookup was implemented), so no reason to define a type instead of a record
https://gist.github.com/caioaao/d15260076bb8ee6f48908507ae73155b spec for the current either monad implementation