Hi > Is there a reason for not having > > tailM :: Monad m => [a] -> m [a] > > which, at least for me, is much more useful? No, that probably is a much more sensible choice. Patches welcome :) Thanks Neil