prelude-plus-0.0.0.3: Prelude for rest of us