$ cat test.agda
module test where

  open import Data.Nat.Show
  open import Foreign.Haskell using (fromString)
  open import IO.Primitive using (IO; putStrLn; _>>=_)

  main = putStrLn (fromString (show 2001))

$ agda --version
Agda version 2.2.10

$ ./test
Segmentation fault