:l Test3.hs
:st mymap (+1) [1::Int,2,3]
: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 Int now
f x
-- should work now