It takes waaay to long to compile. We should add quickcheck tests when we touch the relevant code next time.
todo!