Bool+Z+Lambda (typed)