Updated Prelude data constructors