Maybe wrong compiling type warning using memento/mnesia

[henriquesati]

I dont know how are the type system currently working, but I do not have to type anything, it automatically types everytime I run my code. I tried to erase the incorrect typing, but it keeps generating this one