@@ -30,18 +30,18 @@ private Class(final java.lang.Class<T> c) {
   public List<Class<? super T>> inheritance() {
     return unfold(
             (java.lang.Class<? super T> c2) -> {
-              if (c == null)
+              if (c2 == null)
                 return none();
               else {
                 final P2<java.lang.Class<? super T>, java.lang.Class<? super T>> p =
                     new P2<java.lang.Class<? super T>, java.lang.Class<? super T>>() {
                       public java.lang.Class<? super T> _1() {
-                        return c;
+                        return c2;
                       }
 
                       @SuppressWarnings({"unchecked"})
                       public java.lang.Class<? super T> _2() {
-                        return c.getSuperclass();
+                        return c2.getSuperclass();
                       }
                     };
                 return some(p);