maybe we should express it in type system somehow ...
# announcements
f
maybe we should express it in type system somehow tho