kontrak (npm): Let's write more clean and robust JavaScript software.
Keywords: category|contract|morphism|object|robust|theory|type