Use Prelude's defun to include personal modules