Include functor & foldable laws for when checking traverse.