Option::bind #17
Description
Option module still has different bind functions that are not needed anymore, because Option was re-written that they
cannot be nested anymore. So theoretically we only need map.
Still using bind in the correct places can have a small speed advnatage. Remove or Not?