>>13because dead dog forces you to deform your're are brain into a shape of pure functions, lenses, anusomorphisms and type relations, occasionally using monads to pretend that your're are using a normal language. this might have been good for academia 10 years ago (before the dependent types and proofs became a fad) but isn't so good for practical software which often works with mutable, side-effecting shit like networking, disks and databases. and while all that shit can be done with haskal, it is far easier and more intuitive with ocaml - a language which is predominantly functional but doesn't force you to do everything its way.