algebird

twitter

associative

MonadLaws