Write You a Haskell Stephen Diehl

Operators
In Haskell, infix operators are simply functions, and quite often they are used in place of alphanumerical
names when the functions involved combine in common ways and are subject to algebraic laws.
infixl 6 +
infixl 6 -
infixl 7 /
infixl 7 *
infixr 5 ++
infixr 9 .
Operators can be written in section form:
(x+) = \y -> x+y
(+y) = \x -> x+y
(+) = \x y -> x+y
Any binary function can be written in infix form by surrounding the name in backticks.
(+1) ‘fmap‘ [1,2,3] -- [2,3,4]
Monads
A monad is a typeclass with two functions: bind and return.
class Monad m where
bind :: m a -> (a -> m b) -> m b
return :: a -> m a
e bind function is usually written as an infix operator.
infixl 1 >>=
class Monad m where
(>>=) :: m a -> (a -> m b) -> m b
return :: a -> m a
is defines the structure, but the monad itself also requires three laws that all monad instances must
satisfy.
Law 1
20