Modified interface to take types in methods
(Instead of in variables, which may be casted)