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