plated (co)free (co)monads