module example <https://example.com/api> is

  structure Foo

  datatype bar <- Foo

end