modify type annotation
create 0020 - 0026.hs
modify
create 0027 - 0030