Li-Fan Chen
says to
YSITD
List Function type Maybe Monad