Mango The Fourth

it also doesn't work by adding hyprland with `makeWrapper`

Yup that fixed it. Thank you!

I guess it's a bit more complicated because you'd have to carry along the labels split from the input type in a wrapper around Manipulation

I don’t think going via the numbers is a good idea tbh. I don’t have a solution written out though so I can be wrong

Thank you for writing this library. It’s awesome. Compile times are of course ass (21s spent in the simplifier) but that’s just GHCs fault.

 (this is actually hilarious)

what I'm trying to say is can we just have something like `GManipulation` which instead of taking a list of `NullType` takes a list of `NullType` paired with their original...

so similarly to the `Manipulation_` type family but it doesn't throw away the label types in the parameter list of `NullType` passed to `Manipulation` Sorry if that's a bit unclear,...

thank you for your support!

Ah right that makes sense. Unfortunate. Well then we have to hack the natural numbers into place i guess