add 0467/a.hs
add 0472/a.hs