Hide Prelude to allow unqualified export of print