actually thanks guys for the great link... going deeper found this paper by Walder (one of the big gurus behind monads).. certainly a great read... was wondering why non-terminating progs would terminate till I read this paper (though thinking about it common sense would explain why)...

http://homepages.inf.ed.ac.uk/wadler/papers/deforest/defores...