module test

import StdEnv

class type a | c1 a & TC a

class c1 a :: a -> Int
class rtrn v :: v ()
class arith v
where
	(+.) :: (v a) (v a) -> (v a) | type, + a

//:: WMT = E.e v: WMT (v e) & type e & iTask e & rtrn v & arith v
:: WMT = E.e v: WMT (v e) & type e & rtrn v & arith v

Start :: [WMT]
Start =
	[undef
	,undef
	]