@julesh What do you mean by "closure" here? Like being closed under some operations, or closure operators like monads, or something else?