id: 8e7177c0-1411-46f1-9496-45d8d0d993e5 url: http://semantic-domain.blogspot.com/2014/10/focusing-is-not-call-by-push-value.html