a custom keyboard firmware written for Arduino in Haskell Copilot