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

?