Fixed export list, renamed Prlude shadowing 'pred', removed excess '()'