Module Types.Checked

type ('a, 'f) t