:l ../Test3.hs
:st mymap (+1) [1,2,3]
:st
:show bindings
f x -- should fail, unknown return type
let y = f x
y
:p y
:force y
:show bindings
-- we know the result is Integer now
f x
-- should work now