+ scText ∷ sc → Text
+ scText = convertSuccessVia ((⊥) ∷ Ascii) ∘ fromStatusCode
+
+defaultMessage ∷ Maybe Request → Response → Html
+{-# INLINEABLE defaultMessage #-}
+defaultMessage req res@(Response {..})
+ -- 1xx responses don't have a body.
+ -- 2xx responses don't need a body to be completed.
+ -- 3xx:
+ | resStatus ≈ MovedPermanently
+ = do unsafeByteString "The resource at "
+ path
+ unsafeByteString " has been moved to "
+ a ! href (toValue loc) $ toHtml loc
+ unsafeByteString " permanently."
+
+ | resStatus ≈ Found
+ = do unsafeByteString "The resource at "
+ path
+ unsafeByteString " is currently located at "
+ a ! href (toValue loc) $ toHtml loc
+ unsafeByteString ". This is not a permanent relocation."
+
+ | resStatus ≈ SeeOther
+ = do unsafeByteString "The resource at "
+ path
+ unsafeByteString " can be found at "
+ a ! href (toValue loc) $ toHtml loc
+ unsafeByteString "."
+
+ | resStatus ≈ TemporaryRedirect
+ = do unsafeByteString "The resource at "
+ path
+ unsafeByteString " is temporarily located at "
+ a ! href (toValue loc) $ toHtml loc
+ unsafeByteString "."
+
+ -- 4xx:
+ | resStatus ≈ BadRequest
+ = unsafeByteString "The server could not understand the request you sent."
+ | resStatus ≈ Unauthorized
+ = unsafeByteString "You need a valid authentication to access " ⊕ path
+ | resStatus ≈ Forbidden
+ = unsafeByteString "You don't have permission to access " ⊕ path
+ | resStatus ≈ NotFound
+ = do unsafeByteString "The requested URL "
+ path
+ unsafeByteString " was not found on this server."
+ | resStatus ≈ Gone
+ = do unsafeByteString "The resource at "
+ path
+ unsafeByteString " was here in past times, but has gone permanently."
+ | resStatus ≈ RequestEntityTooLarge
+ = do unsafeByteString "The request entity you sent for "
+ path
+ unsafeByteString " was too large to accept."
+ | resStatus ≈ RequestURITooLarge
+ = unsafeByteString "The request URI you sent was too large to accept."
+
+ -- 5xx:
+ | resStatus ≈ InternalServerError
+ = unsafeByteString "An internal server error has occured during the process of your request to " ⊕ path
+ | resStatus ≈ ServiceUnavailable
+ = unsafeByteString "The service is temporarily unavailable. Try later."
+
+ | otherwise
+ = (∅)
+ where
+ path ∷ Html
+ path = toHtml ∘ uriPath ∘ reqURI $ fromJust req
+
+ loc ∷ Text
+ loc = cs ∘ fromJust $ getHeader "Location" res