use CorePervasives instead of BatPervasives