Not GP, but the book 'Domain Modeling Made Functional' does explain advantages in modeling with types quite well.