add 0478/a.hs
add 0478/b.hs
add 0478/c.hs