[ fix #391 ] Add imports for Haskell.* modules (other than Prelude)#392

jespercockx merged 1 commit intoagda:masteragda/agda2hs:masterfrom

jespercockx:issue391jespercockx/agda2hs:issue391Copy head branch name to clipboard