A serialization function encoded as a Nat Trans from https://www.youtube.com/watch?v=oRLkb6mqvVM ``` def serializer[A](schema: JSchema[A]): A => Json = ??? val serializer: JSchema => (? => Json) = ??? ```