diff --git a/mig-server.cabal b/mig-server.cabal
--- a/mig-server.cabal
+++ b/mig-server.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:               mig-server
-version:            0.1.0.1
+version:            0.2.1.0
 synopsis:           Build lightweight and composable servers
 description:        With library mig we can build lightweight and composable servers.
                     There are only couple of combinators to assemble servers from parts.
@@ -27,6 +27,7 @@
                     .
                     Example of hello world server:
                     .
+                    > {-# Language OverloadedStrings #-}
                     > import Mig.Json.IO
                     >
                     > -- | We can render the server and run it on port 8085.
@@ -103,8 +104,8 @@
     , data-default
     , http-api-data
     , http-types
-    , mig >=0.2.0.1
-    , mig-extra >=0.1.0.1
+    , mig >=0.2.1.0
+    , mig-extra >=0.1.1.0
     , mig-swagger-ui >=0.1
     , mig-wai >=0.1.0.1
     , openapi3
diff --git a/src/Mig.hs b/src/Mig.hs
--- a/src/Mig.hs
+++ b/src/Mig.hs
@@ -46,6 +46,9 @@
   notImplemented,
   redirect,
   setHeader,
+  setCookie,
+  SetCookie (..),
+  defCookie,
 
   -- ** methods
   Send (..),
@@ -67,6 +70,13 @@
   HEAD,
   TRACE,
 
+  -- ** safe URLs
+  UrlOf,
+  ToUrl (..),
+  Url (..),
+  renderUrl,
+  (:|) (..),
+
   -- ** path and query
 
   -- | Build API for routes with queries and captures.
@@ -77,6 +87,8 @@
   QueryFlag (..),
   Optional (..),
   Body (..),
+  OptionalHeader (..),
+  Cookie (..),
   Header (..),
   PathInfo (..),
   FullPathInfo (..),
@@ -158,7 +170,9 @@
 import Control.Monad.Trans.Class as X
 import Data.Aeson as X (FromJSON (..), ToJSON (..))
 import Data.Default as X
+import Data.Maybe as X
 import Data.OpenApi as X (OpenApi, ToParamSchema (..), ToSchema (..))
+import Data.String as X
 import Data.Text as X (Text)
 import GHC.Generics as X (Generic)
 import Network.HTTP.Types.Header as X (RequestHeaders, ResponseHeaders)