The d-bus package

This library uses modern extensions to the Haskell type system
(including GADTs, DataKinds and TypeFamilies) and the
singletons library to embedd the D-Bus type system. D-Bus
signatures can thus be inferred.