Miles Sabin

Add variants of Fn{To,From}Product which are parametric in the result type

3

See [this gist](https://gist.github.com/milessabin/cab5661217ec47bbddad) for a motivating example. A result type parametric `Fn{To,From}Product` would allow us to constrain the shape of the arguments to an arbitrary arity function type without having...

Opinions differ on the merits of rolling (ie. untimestamped) vs. timestamped snapshot builds. @InTheNow has recently added support for both [to](https://github.com/non/cats/issues/317) [Cats](https://github.com/non/cats/pull/343) and it'd be nice to have the same...

Improve composability of Zipper operations.

4

The problem is visible when you try and use the zipper in a polymorphic function. If you've used shapeless you'd expect the function to need a bunch of implicit zipper...

Add missing implicit annotations.

5

There are very many implicit arguments in shapeless without @implicitNotFound annotations. Adding them would make compiler errors more readable.

Ensure macro outputs are deterministic

1

Comment from @retronym on https://github.com/playframework/play-json/pull/263, > I've been working to make scalac itself deterministic (meaning: when sources doen't change, generated bytecode is identical from run to run, even when only...