in an effort to figure out type declarations i thought i'd let ghci do the work. so i wrote a program: import ... main = do ... func1 func2 now when i load this into ghci i can't to :t func1 etc and get a not in scope error however, if i put a return () onto the end of main: import ... main = do ... return () func1 func2 the functions are in scope of ghci and i can find out the types. so what is happening here? i understand that return is different in haskell than in other languages, but i don't understand just what it is doing. :( -- In friendship, prad ... with you on your journey Towards Freedom http://www.towardsfreedom.com (website) Information, Inspiration, Imagination - truly a site for soaring I's