I want to perform some operations on a network data structure at compile time, i.e. using type classes and fundeps. Is it worth finding this out, or should I look for a better way to do compile time programming in Haskell? I sure do miss Scheme macros. The direct but incremental approach is a lot easier to navigate.