Option for Combinator Graphs in GHC?