Hi guys. I just noticed that extensions like `toOp...

# arrow

[gregd]

Hi guys. I just noticed that extensions like toOption(), some(), right() etc. are part of the arrow-syntax module, rather than arrow-core, where their corresponding types (Option, Either) are. Do you think it would make sense to move them to arrow-core, so that people who just want to use the basic types wouldn’t be forced to include the whole arrow-syntax?