``Computer science''

Why do they call it computer science?
It's not about computers and it's not a science.

>>29

No, not everything is really a monad

Of course it's not, that's why we always carefully check the fulfillment of monad laws before calling something a monad.
Oh, and trying to find monads everywhere is the right thing to do because it opens up a whole slew of library functions (that are monad-agnostic thanks to higher-kind polymorphism), and even more if you find a MonadPlus or some other typeclass.

No, types aren't really algebraic

I don't even know what you're complaining here. Go read about datatypes a la carte.