definition module Func

($) infixr 0        :: !(.a -> .b) !.a -> .b
app					:: !(.a -> .b) !.a -> .b
seqSt				:: !(a .st -> .st)			![a] !.st -> .st
mapSt				:: !(a .st -> (!b,!.st))	![a] !.st -> (![b],!.st)