hi there, I've been working with haskell and atom dsl, however I'm new to haskell.. John Van Enk inspired me with programming arduino->atmegas , with haskell, So here is my problem. With an action , action :: ([String] -> String) -> [UE] -> Atom () , it's possible make calls to some precoded C functions like, setLED v = action (\[x] -> "setLED(" ++ x ++ ")") [v'] where v' = ue . value $ v where setLed is a precode function. I want call a precoded C function that returns some value, but action always give me Atom () , that's I would like to do but I don't know how .. Atom (V Int8) < ---- "int read()" thanks... related links http://hackage.haskell.org/package/atom-0.0.5 http://blog.sw17ch.com/wordpress/?p=111 http://leepike.wordpress.com/2009/05/05/an-atomic-fibonacci-server-exploring... Radamés