fix name clash with latest classy-prelude