[Haskell-cafe] How can I parameterize the Candidate?