strongly typed dbus client library
dependently typed interface to dbus
See the tutorial to get started