5 Start w = startEngine (t1 -|| t2 -|| t3 -|| t4) w
7 :: Field = {field :: String}
8 :: Type1 = {fields :: [Field]}
9 :: Type2 = Type Int [Field]
11 derive class iTask Field, Type1, Type2
14 t1 = enterInformation () []
17 t2 = enterInformation () []
20 t3 = enterInformation () []
22 t4 :: Task (Type2, Type3)
23 t4 = enterInformation () []