ExperientalPlay.lhs defParams exported.