property-based host configuration management in haskell - View it on GitHub