> Great. Just some notes: I've been mostly assuming some think like > shrinkBlocks: Statement.t vector -> Block.t vector -> Block.t vector > in the code (although they are all one liners), but when I was thinking > about doing a really simple shrinker, I put > shrinkFunction: Statement.t vector -> Function.t -> Function.t > into shrink.sig, which seems more reasonable. shrinkFunction sounds good to me.