definition module Section7

import iTasks

flows7		:: [Workflow]

normalTask	:: !User -> ManagementMeta
const2		:: a b !c -> c