ExperimentalPlay.lhs predefinedCP exported