GPL — монада. Доказательства законов приводить не буду из-за того, что они не проходят мысленный тайпчекинг (можете представить себе рефакторинг, который из обычной программы делает GPLную? Вот и я не могу). Inspired by http://bnw.im/p/BIZZJN#I2H