Hiya, x :: IO () -- This type signature works fine, <<loop>> is printed x :: a -- This type signature blows the stack of jhc x = x main = x Is this a known bug? -- Cheers, Lemmih