[Haskell-cafe] EDSL's using Filet-O-Fish of Barrelfish project

Hi All, I'd been looking for a mechanism to generate "C" from Haskell as EDSL - to develop an OS. In the process, I ran into the Barrelfish project ( http://www.barrelfish.org) - They seem to be using Haskell based "DSL generator" called Filet-O-Fish - http://www.barrelfish.org/fof_plos09.pdf It will take me some time understand Filet-O-Fish more but if any of the Haskell experts have already looked at it, I was wondering if I could use Filet-O-Fish to generate EDSL's for arbitrary things. For example, lets say, I wanted to write a EDSL for Linux's network drivers. Could I use Filet-O-Fish and generate a EDSL that allows me to write a driver in a really highlevel manner and then generate the "C" code for it? -- Regards, Kashyap