ssh typo
haskell: Agda conflicts with any package that uses unordered-containers and such