instance TypeCast'' () a a
where
typeCast'' _ x = x
+
+
+class MemberT e l where
+ type Member e l
+
+instance MemberT e Nil where
+ type Member e Nil = False
+
+instance MemberT e (Cons e' l) where
+ type Member e (Cons e' l) = TypeEq e e' b => b
-}
\ No newline at end of file