The support in GATlab for passing around specific models neatly solves the problem of nullary operations that we had in Catlab, because now munit() can be disambiguated. However, this problem remains for "default instances"; we need to support the workaround Catlab used to use, which is passing the return type as the first argument.
The support in GATlab for passing around specific models neatly solves the problem of nullary operations that we had in Catlab, because now
munit()
can be disambiguated. However, this problem remains for "default instances"; we need to support the workaround Catlab used to use, which is passing the return type as the first argument.