ivory-tower: refactor toIx usage to respect more polymorphic signature.
gitignore: add cabal-dev/ to gitignore.