@@ -344,10 +344,6 @@ addOne(2) // 3
 addOne('some string') // Contract violated: expected int -> int
 ```
 
-## Guarded Functions
-
-TODO
-
 ## Category
 
 A category in category theory is a collection of objects and morphisms between them. In programming, typically types
@@ -734,10 +730,6 @@ const sum = (list) => list.reduce((acc, val) => acc + val, 0)
 sum([1, 2, 3]) // 6
 ```
 
-## Traversable
-
-TODO
-
 ## Type Signatures
 
 Often functions in JavaScript will include comments that indicate the types of their arguments and return values.