-import Language.Core.Interpreter.Structures
-- | A function that ignores its parameters and returns a value
-- the parenthesis in the signature have no effects and are only here to understand better 
return' :: Value -> (Id -> Env -> IM Value)
return' v = \_ -> \_ -> return v

return' :: Value -> (Id -> Env -> IM Value)
return' v = \_ -> \_ -> return v
return' v = \_ -> \_ -> return v