Frank Thomas

This is a simple and straightforward implementation: ``` diff --- a/core/shared/src/main/scala/eu/timepit/refined/internal/RefinePartiallyApplied.scala +++ b/core/shared/src/main/scala/eu/timepit/refined/internal/RefinePartiallyApplied.scala @@ -20,4 +21,10 @@ final class RefinePartiallyApplied[F[_, _], P](rt: RefType[F]) { def force[T](t: T)(implicit v: Validate[T, P]):...

Btw, this reminds me of Idris' [`Dec`](http://www.idris-lang.org/docs/prelude_doc/docs/Prelude.Basics.html#Prelude.Basics.Dec).

Before merging, this should happen on the `series/0.10` branch before: * [x] #843 Remove deprecated stuff in `RefType` and `generic` * [ ] Move support for `shapeless.tag.@@` to shapeless module...

I agree with @jan0sch and @hseeberger. Null checking is not the concern of refined and as @jan0sch demonstrated it would add complexity which I would rather avoid. That being said,...

@carymrobbins Unboxed primitives sounds great and the subtyping relation fits well for refinement types. I'll will definitely try that for refined. There is no hurry to cut a release from...

@hseeberger Asking questions here is fine. The [Gitter channel](https://gitter.im/fthomas/refined) would be another option. You're right, currently there is no API to `contramap` over an existing `Validate` instance to create a...

Making `Validate.contramap` public is certainly an option but I think it needs a second parameter that also replaces the `showExpr` implementation. In the current form a `Validate[FiniteDuration, Positive]` derived from...

@kevinmeredith refined does not (yet) provide support for refining `Duration` or `FiniteDuration` but you can use the instance in https://github.com/fthomas/refined/issues/397#issuecomment-354676072 for that.

@NeQuissimus I'd probably combine hostname and port in a case class: ```scala case class HostAddress(name: NonEmptyString, port: PortNumber) ``` But I guess your `HostAddress` would be more like a `String...

That sounds good to me. Something similar was recently merged in circe: https://github.com/circe/circe/pull/833 Maybe a generic version of that would have a signature similar to ```scala implicit def deriveRefinedMap[F[_, _],...