(5) does not follow. We could use a strongly typed monolith with a purely functional core