Made the laws more generic.
Got an Or.badMap should obey he functor laws example working, I think.