Added functor laws too, had to import Text.Show.Functions