Space invaders implementation from ICFP13