HOAS with open types.