Red_formal(hs)