Add type classes to encode a query parameter

This PR is not ready yet, I just wanted to use it a proof of concept for #86 and get your feed backs.

Ideally I would use 3 type classes:
 * one to encode a type T to a `QueryParameterValue`
 * one to decode a `QueryParameterValue` to T (with potential of failure)
 * one to describe the parameter key associate to a T

The decode and encode type classes should satisfy basic encoding laws:
 * for all t, decode . encode == success
no I haven't benchmarked that specific case, so it might be completely useless. From my personal experience, I found it extremely difficult to know when inlining has an effect but I experienced some performance in Monocle with it.