(no subject)

data Wam = Wam { falha::String, h::Int, s::Int, p::Int, heap::Array Int Pares, registos::Array Int Pares, e::Int, b::Int, mode::Char, cp::Int, code::Array Int Int, trail::Array Int Int, tr::Int, hb::Int } deriving Show deref a c = let (tag,value) = ((heap c)!(a)) in if ((tag=="REF") && (value /= a)) then return deref value c else return a c I would like to do something like that but it gives me an error. error: ERROR "trab2.hs":373 - Type error in function binding *** Term : deref *** Type : Int -> Wam -> Int *** Does not match : Wam -> Int Can anyone help, please?? thanks