[Haskell-cafe] "Wrong kind" when attempting to build a monad for a circular list of functions

[Felipe Lessa]

On Thu, Feb 28, 2008 at 7:44 AM, Felipe Lessa <felipe.lessa at gmail.com> wrote:
>  Bas van Dijk's 'always' (also called 'forever'[1])

Sorry, of course

always' :: Monad m => (a -> m a) -> (a -> m ())
forever :: Monad m => (m a) -> (m ())

are of different types and so are different functions.

-- 
Felipe.