module test

import iTasks

Start w = startEngine (t1 -|| t2 -|| t3 -|| t4) w

:: Field = {field :: String}
:: Type1 = {fields :: [Field]}
:: Type2 = Type Int [Field]
:: Type3 :== [Field]
derive class iTask Field, Type1, Type2

t1 :: Task Type1
t1 = enterInformation () []

t2 :: Task Type2
t2 = enterInformation () []

t3 :: Task Type3
t3 = enterInformation () []

t4 :: Task (Type2, Type3)
t4 = enterInformation () []