2009/3/5 Hans Aberg <haberg at math.su.se>: > GHC says that for any set x, there are no cardinalities between card x and No it doesn't. It says there is a syntax error in my code.