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.