monad library

[Sven Panne]

Andrew J Bromage wrote:
> [...] Our taxonomies are, for better or worse, DAG-shaped.  SSL, for
> example, can legitimately go under both "network communication" and
> "cryptography", which are quite different fields of computer science.

OK, I agree to our DAG argument, but the important part is the "A": We
can e.g. put the SSL implementation under Network.SSL and have

    module Crypto.SSL ( module Network.SSL ) where
    import Network.SSL

for a convenient/consistent taxonomy. (No Jihad about SSL <-> Crypto,
please, it is just an example...)

Cheers,
    S.