//  Copyright © 2015 Rob Rix. All rights reserved.

extension Module {
	public static var churchList: Module {
		let List: Recur = "List"
		let list = Declaration("List",
			type: .Type --> .Type,
			value: (.Type, .Type) => { A, B in (A --> List[A] --> B) --> (.UnitType --> B) --> B })

		return Module("ChurchList", [ list ])
	}
}

//  Copyright © 2015 Rob Rix. All rights reserved.

extension Module {
	public static var churchList: Module {
		return Module("ChurchList", [])
	}
}

--- 
+++ 
@@ -2,6 +2,11 @@
 
 extension Module {
 	public static var churchList: Module {
-		return Module("ChurchList", [])
+		let List: Recur = "List"
+		let list = Declaration("List",
+			type: .Type --> .Type,
+			value: (.Type, .Type) => { A, B in (A --> List[A] --> B) --> (.UnitType --> B) --> B })
+
+		return Module("ChurchList", [ list ])
 	}
 }
Add the type of encoded lists.
