Upgrade Controller to operate on Haskell key types