definition module TaskContainer import iTasks :: DT a = DT !(Task a) & iTask a :: DV0 a = DV0 !a & iTask a :: DV1 t a = DV1 !(t a) & iTask a :: DV2 t a b = DV2 !(t a b) & iTask a & iTask b :: DF0 a b = DF0 (a -> Task b) & iTask b // comp crashed als ik cr weglaat validTaskVal :: Dynamic -> Bool validTask :: Dynamic -> Bool validTaskFun :: Dynamic -> Bool showDynType :: !Dynamic -> String showDynVal :: !Dynamic -> String showDynValType :: !String !Dynamic -> String typeErrorMess :: !String !Dynamic -> String typeErrorMess2 :: !String !Dynamic !Dynamic -> String toStringDynamic :: !Dynamic -> ([String], String)