Toshiro Wakayama Monadic Cases: Rediscovering Input Resolution. 115-130 1989 NACLP db/conf/slp/slp89.html#Wakayama89