Construction types implemented in Hai