Ganesh, you may or may not like this one. Please yell if not.
1 patch for repository http://darcs.net/screened:
patch f2a716c01d4ca6197a45ac9aaf0c1957006c17af
Author: Ben Franksen <ben.franksen@online.de>
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.