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