haskell can have longer lines
i don't use agda now