open types: generate type in sig too
open types: generate type in sig too