A simple blame calculus for explicit nulls - LHOTÁK, ONDŘEJ (Journal of Functional Programming)