prelude-plus-0.0.0.2: Prelude for rest of us