Make CompiledGraph generic over a single parameter for State

[Glinte]

Would be pretty nice to see what kind of input/output it has for static type checking.

[nfcampos]

Hi, how do you imagine you'd use this?