wtf
deprecate Haskell
setup agda