Try this:
  [apply] [grind =] for pattern: [@filter #1 #0 (@nil _)]
Try this:
  [apply] [grind =] for pattern: [@filter #3 #0 (@cons _ #2 #1)]
Try this:
  [apply] [grind =] for pattern: [@List.any #1 (@nil _) #0]
Try this:
  [apply] [grind =] for pattern: [@List.any #3 (@cons _ #2 #1) #0]
Try this:
  [apply] [grind =] for pattern: [@map #2 #1 #0 (@nil _)]
Try this:
  [apply] [grind =] for pattern: [@map #4 #3 #2 (@cons _ #1 #0)]
Try this:
  [apply] [grind =] for pattern: [@List.all #1 (@nil _) #0]
Try this:
  [apply] [grind =] for pattern: [@List.all #3 (@cons _ #2 #1) #0]