prelude.sn: Refactoring