open Wonka_types;

let sample: (sourceT('a), sourceT('b), sinkT('b)) => unit;