substitute :: butterfly -> horse