I thought GHC would warn me about dead code :-(