Hoge {
  foo: Integer Hoge -> String
  bar: unit -> nil
}
Huga {
  baz: String -> Array
}