@hackage refined0.4.2.2

Refinement types with static and runtime checking

For an extensive introduction to the library please follow to this blog-post.