A blog about graphics, demoscene, functional programming languages and some other IT materials. Don’t use Default Background knowledge: typeclasses and laws In Haskell, we have a lot of typeclasses. Those are very handy and – in general – come with laws. Laws are very important and give hints on how we are supposed to use a typeclass. For instance, the Semigroup typeclass exposes an operator ((<>)