Replace andThen with flatMap.

[Josef-Vonasek]

I find the name flatMap very natural fit for the signature (a -> (Box a)) -> Box a -> Box b. After all the first thing that comes onto my mind, when I see flatMap is flatten and map.

flatten : Box (Box a) -> Box a
map : (a -> b) -> Box a -> Box b

It is then not hard to figure out that it should probably behave like

flatMap function box == flatten (map function box)

andThen on the other hand feels very opaque and / or vague (e.g. |> is very often called andThen) and without documentation I would have no idea would does it do.

[process-bot]

Thanks for the pull request! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[process-bot]

Thanks for the pull request! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

[Josef-Vonasek]

The tests are currently failing, but my time is spare.

Is this pull request acceptable? If yes, I will fix the code, so that all test will pass. If not, I am just going to close this pull request.

[Josef-Vonasek]

The tests are currently failing, but my time is spare.

Is this pull request acceptable? If yes, I will fix the code, so that all test will pass. If not, I am just going to close this pull request.

[evancz]

I considered this name alongside other options when I chose andThen. I do not think it makes sense to make this change.

[evancz]

I considered this name alongside other options when I chose andThen. I do not think it makes sense to make this change.