Parameter `Simple._`

let weight: change => int;

let test: D.state => left => right => result(unit, diff);

let update: change => D.state => D.state;

let key_left: D.left => string;

let key_right: D.right => string;