Use StateT and Libnotify