%0 Journal Article
%B The Art, Science, and Engineering of Programming
%D 2019
%R 10.22152/programming-journal.org/2019/3/8
%T One Monad to Prove Them All
%V 3