diff --git a/util/collection/TypeFunctions.scala b/util/collection/TypeFunctions.scala
index 942a00d72..92a5fb4b7 100644
--- a/util/collection/TypeFunctions.scala
+++ b/util/collection/TypeFunctions.scala
@@ -17,6 +17,8 @@ trait TypeFunctions
 	implicit def toFn1[A,B](f: A => B): Fn1[A,B] = new Fn1[A,B] {
 		def ∙[C](g: C => A) = f compose g
 	}
+	
+	type ~>|[A[_],B[_]] = A ~> Compose[Option, B]#Apply
 }
 object TypeFunctions extends TypeFunctions