Oh, thanks! Good catch. Here's `while` while :: Monad m => m Bool -> m a -> m () while conde bodye = do cond <- conde if cond then bodye >>

Oh, thanks! Good catch. Here's `while` while :: Monad m => m Bool -> m a -> m () while conde bodye = do cond <- conde if cond then bodye >> while conde bodye else return ()