GitHub repository: AndrewShf/immutability
Description: Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability