Move type families related to dependent effect parameters for type-level lists of effect data classes from the `heftia` repository to this repository.

This is because they are likely to be used in other handler systems as well.

https://github.com/sayo-hs/heftia/blob/fdf87b80b5d1ee491f5a63d6f2face4023e40caa/heftia/src/Data/Free/Union.hs#L148-L199
https://github.com/sayo-hs/heftia/blob/fdf87b80b5d1ee491f5a63d6f2face4023e40caa/heftia/src/Data/Hefty/Union.hs#L161-L212