Switching to Data.Functor.Coproduct