Mousetrap solutions

Mousetrap was solved using Haskell by 3 contestants. Solution sizes: average 1208 bytes (shortest: 787; longest: 1675).