Sometimes they are needed for different tasks. Maybe we can put some of the into our relude to ease various tasks. I can think of the following useful type families:
This is something I can think of now. Maybe more useful functions/operators can be added later.
Sometimes they are needed for different tasks. Maybe we can put some of the into our
reludeto ease various tasks. I can think of the following useful type families:type family (++) (xs :: [k]) (ys :: [k]) :: [k]type family All (f :: k -> Constraint) (xs :: [k]) :: ConstraintFst/Sndto get first second elements of different tuplesThis is something I can think of now. Maybe more useful functions/operators can be added later.