Nested pattern cleaning
Flatten ignored body results
Literal representation using type families