`Integral a` giving a weird spec error, switching temporarily to Int
verify Text.replicate