Haskell 1-liners are wild: bind over a right-fold w/ monadic function composition accumulator on a replicated list of monadic functions wtf!
-
@dibblego a few lines above here: http://learnyouahaskell.com/for-a-few-monads-more#making-monads … (inMany x start = return start >>= foldr (<=<) return (replicate x moveKnight)
@aaronmblevin `return start >>= f` is better written `f start`. This is the monad identity law.