Removing length from prelude.js