bind -> equivalent to flatMap
# result
y
bind -> equivalent to flatMap