Data.Colist.finite-or-infinite is now universe polymorphic.

Thanks to vituscze@gmail.com.