Type class instances for data types that do not (completely) satisfy type class laws or which otherwise violate referential transparency - View it on GitHub