Vinyl should be spine-strict

Reminder that you can recover laziness by changing the applicative
modality to a suitably lazy version of the identity functor.