main_body_body_inside_body to Haskell