From 8a16f47fbab6e2f7778422c926dc769394d27208 Mon Sep 17 00:00:00 2001
From: David Turner <dave.c.turner@gmail.com>
Date: Tue, 16 May 2017 09:21:58 +0000
Subject: [PATCH] Add EmptyAPI example (no prose yet)

---
 doc/tutorial/ApiType.lhs | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/doc/tutorial/ApiType.lhs b/doc/tutorial/ApiType.lhs
index 2cdc8b65..546e62ef 100644
--- a/doc/tutorial/ApiType.lhs
+++ b/doc/tutorial/ApiType.lhs
@@ -326,6 +326,16 @@ type ProtectedAPI11
  :<|> BasicAuth "my-realm" User :> UserAPI2 -- this is protected by auth
 ```
 
+### Empty APIs
+
+TODO motivation...
+
+``` haskell ignore
+type UserAPI12
+     = UserAPI
+ :<|> EmptyAPI -- this adds nothing to the API
+```
+
 ### Interoperability with `wai`: `Raw`
 
 Finally, we also include a combinator named `Raw` that provides an escape hatch