bind is pack.
write Traversable accordingly (in main.hs)