Using the typecheck module for some key methods