edis-0.0.1.0: Statically typechecked client for Redis