Hence my need for `contextHasNoOperations() -> ...
# minutestd
dmcg
11/06/2018, 9:05 PMHence my need for
contextHasNoOperations() -> fun PF.(): F = Unit as Fdmcg
11/06/2018, 9:05 PMcontextHasNoOperations() -> fun PF.(): F = Unit as F