It really is! The IO monad is basically a better C, if you know how to wield the FFI.

Widget is not quite a Monad, in this instance it's a newtype around a pointer and classes that mimic GTK's own class hierarchy.