diff --git a/docs/Bifunctor.md b/docs/Bifunctor.md
new file mode 100644
index 000000000..a3878ece5
--- /dev/null
+++ b/docs/Bifunctor.md
@@ -0,0 +1,2 @@
+Bifunctor
+=========
diff --git a/docs/Maybe.md b/docs/Maybe.md
index 39fcdbb68..e155d4122 100644
--- a/docs/Maybe.md
+++ b/docs/Maybe.md
@@ -1,2 +1,38 @@
 Maybe
 =====
+
+```haskell
+maybe :: b -> (a -> b) -> Maybe a -> b
+```
+
+```haskell
+isJust :: Maybe a -> Bool
+```
+
+```haskell
+isNothing :: Maybe a -> Bool
+```
+
+```haskell
+fromJust :: Maybe a -> a
+```
+
+```haskell
+fromMaybe :: a -> Maybe a -> a
+```
+
+```haskell
+listToMaybe :: [a] -> Maybe a
+```
+
+```haskell
+maybeToList :: Maybe a -> [a]
+```
+
+```haskell
+catMaybes :: [Maybe a] -> [a]
+```
+
+```haskell
+mapMaybe :: (a -> Maybe b) -> [a] -> [b]
+```