Hoge {
  foo: Integer Hoge -> String
}
