【修正1】 65バイト

main=interact$(\t->unlines[show n++' ':s|(n,s)<-zip[1..]t]).lines

あと 11バイト縮められるとか、ちょっと想像つかないけど、うーん。

【修正2】 55バイト

main=f 1;f n=do l<-getLine;putStrLn$show n++' ':l;f$n+1

こちらも、別の問題の模範解答から　ノウハウゲット。
あと　１バイトは、もう分からない．．．

【修正前】 166バイト

main=do a:b:c:d<-getLine;read(a:[b])%read d
a%b=mapM putStrLn[["-+|"!!((x-a-max(1-y)(y-b))#(min(b+1-y)(max(y-1)1)-x))|x<-[1..a]]|y<-[1..b]]
a#b|a>0||b>0=2|1>0=0^(a*b)


【修正1】 165バイト

r=read
main=getLine>>=f.reads
f[(a,x:b)]=mapM putStrLn[["-+|"!!((x-a-max(1-y)(y-r b))#(min(r b+1-y)(max(y-1)1)-x))|x<-[1..a]]|y<-[1..r b]]
a#b|a>0||b>0=2|1>0=0^(a*b)

reads 関数の使い方がようやく分かってきたので、縮めることが出来た。
しかし、１バイトしか縮まないとは．．．

【修正2】 162バイト

main=getLine>>=f.reads
f[(a,p:q)]|b<-read q=mapM putStrLn[["-+|"!!((x-a-max(1-y)(y-b))#(min(b+1-y)(max(y-1)1)-x))|x<-[1..a]]|y<-[1..b]]
a#b|a>0||b>0=2|1>0=0^(a*b)

read した値を代入する結果は真って言えば、縮められるわけか。
別問題の模範解答から、ノウハウゲット！！
しかし、そろそろ限界かなあ

【模範解答】 63バイト

import List
main=mapM print[n|n<-[1..10^4],[_,_]<-[nub$show n]]

リスト [_,_] に吐かせることで、プログラムが　長さ２のデータをフィルターしてくれるとは
予想もつかなかった。。。

正直、ゴルフコードを読んでも、難解で　理解出来ないことが多いので、
今回のは　少し理解が進んで　良かったと思ふ。

【初稿】 119バイト

m@main=getLine>>=putStrLn.g.map read.words.f>>m
f('/':s)=' ':s
f(x:s)=x:f s
a%b=show$div a$gcd a b
g[a,b]=a%b++"/"++b%a

もはや、ゴルフでも何でもない。　と思われる。
きっと強い人が縮めてくれるだろう。　と思われる。

【初稿】 86バイト

main=interact$f.lines
f(w:x)=w%unlines x
[]%s=s
(a:s)%(b:t)|b=='_'=a:s%t|1>0=b:(a:s)%t

トップと天と地の差になってしまった。
しかし、解くことに意義を見出しているので、これでいいんだ！！と自分をだましてみる。