Project Euler solutions in Agda (sometimes Haskell)