1 2 3 4 5 6 7
T16718.hs:(5,2)-(7,7): Splicing declarations [d| type role P phantom data P a |] ======> type role P phantom data P a