type Hoge' = { h in Hoge | (one h) < (two h)}