--- a/algebraicpattern/src/main/scala/AlgebraicPattern.scala	Wed Dec 29 11:31:25 2010 -0500
+++ b/algebraicpattern/src/main/scala/AlgebraicPattern.scala	Wed Dec 29 19:02:27 2010 -0500
@@ -1,5 +1,11 @@
 package org.w3.algebraic
 
+trait PatternMatching0[R] {
+  def unapply(r:R):Boolean
+}
+
+trait Algebraic0[R] extends Function0[R] with PatternMatching0[R]
+
 trait PatternMatching1[T,R] {
   def unapply(r:R):Option[T]
 }