re-enable this test
this should be enough for map, why isn't it?
meh, not good enough
add shapeless dependency, let's try doing it this way
getting the idea?
well, that's no good
meh, maybe that's enough for now
why isn't this ok?
that makes it happy, but sad
why not this?
almost there
nope I'm dumb
BOOYAH
meh
pull in nondecreasing
hmm, so we can't use raw hlists of parameterized types?
maybe that's what I need
am I going crazy here?
ok wow, this part actually works
get ready to have the idxandgt