Monads

[bh]

@theaspiringhacker

The type of (>>=) might be [a] -> (a -> [b]) -> [b] .

Ah. It took me a while to see why that should be the type signature of flatmap but I think I understand. It's still headache-inducing, though.