Add list monad (ListM)
Prefix unused vars with underscores