Re: [Haskell-cafe] Getting types inside a function in ghci

On the left of <- you could do do () <- someThing …. so that you'll get a type error against (). Or use scoped type variables: do (x::()) <- someThing