{ hash_host = None Bool
, key = None Text
, path = None Text
, state = None ./state.dhall
}