Generic shape

Filtering with some structure preservation

Generic shape, variants for handling GHC API staged types