Use mkCoreLets instead of rolling our own.