Jan Christopher Vogt

Something like ``` val p = person1(rename name to p1_name) & person3(rename name to p2_name) p.p1_name p.p2_name ``` However, while the `.apply(rename.foo.(to).bar)` builder api works, but is a bit weird...

make sure that cases that aren't supposed to compile actually don't compile

Record is covariant in its type parameter. Making it invariant and allowing conversions via an implicit would allow to throw out the lost fields in the underlying map.

Add operations on refined typed

9

Would be great to have a subset of the same operations available on unconstrained typed also available on refined types but tracking properties across operations. Even a small subset would...

Use value-level terminology on type-level

4

I think it would be great if we could use the same language at the type-level like at the value level. At least as close as possible. E.g. Instead of...

Currently tut is not on maven central. Here is how to enable sync: http://blog.bintray.com/category/publishing-binaries/

generalize tagging serialized data with type, etc

1

generalize: ``` scala implicit class FormatTagExtension[T](enclosed: Format[T]){ ​ def tagWithType(implicit classTag: ClassTag[T]): Format[T] = new Format[T]{ ​ def reads(jsValue: JsValue): JsResult[T] = { ​ val className = classTag.runtimeClass.getSimpleName ​ jsValue\"type"...