From 86c938d198c7e01ab47d2c928ece95179ec7fad5 Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Sun, 30 May 2010 21:14:18 -0400
Subject: [PATCH] MList covariant, initial Node

---
 util/collection/TypeFunctions.scala | 1 +
 1 file changed, 1 insertion(+)

diff --git a/util/collection/TypeFunctions.scala b/util/collection/TypeFunctions.scala
index c07ecce77..9a6d96b14 100644
--- a/util/collection/TypeFunctions.scala
+++ b/util/collection/TypeFunctions.scala
@@ -4,6 +4,7 @@ trait TypeFunctions
 {
 	type Id[X] = X
 	trait Const[A] { type Apply[B] = A }
+	trait P1of2[M[_,_], A] { type Apply[B] = M[A,B] }
 	trait Down[M[_]] { type Apply[B] = Id[M[B]] }
 
 	trait ~>[A[_], B[_]]