WrongItems.hascasl revision 9b3f1a9c8994dc5a964d53de628f650317fa6d6f
class x = y = z
var <
class a < Type = {x . x < t}
type t := \ s,r . s -> r
type n (r,s)