<@U7QUW41HP> <@U0DHVHB5W> `Either` does not provid...

# arrow

[raulraja]

@noncom @aballano Either does not provide a Comonad instance because it's not possible to safely extract A from an Either<L, A>. The issue here is that the syntax is enabled but it should not be enabled if the compiler had a notion of type classes, this really should have been a compilation error.