added hs file for propose wrapper