This file contains a fintype instance for set-like objects such as subgroups. If SetLike A B
and Fintype B then Fintype A.
SetLike A B
TODO: It should be possible to obtain a computable version of this for most
SetLike objects. If we add those instances, we should remove this one.