OK.  It’s hard to keep this straight in email. Take a look at

https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow/Instances

 

Please edit and improve it.