no worries, we considered them though to implement...
# arrow
r
no worries, we considered them though to implement things like Kinds but could not find a way to actually allow for new syntax