Ganesh, you may or may not like this one. Please yell if not.
1 patch for repository http://darcs.net/screened:
Author: Ben Franksen <firstname.lastname@example.org>
Date: Sun Feb 16 19:21:20 CET 2020
* remove state parameter from WithStartState2
This is similar to what I did to WithState and has the same advantages.
It certainly makes sense to be consistent, and in practice having
'ModelOf' as well as the independent type parameter seems confused, so
I think this is a good direction to go in. I can't think of any reason
we'd want to have multiple models for a single patch type.