There was an error while loading. Please reload this page.
Type class instances for data types that do not (completely) satisfy type class laws or which otherwise violate referential transparency