==================== Tidy Core rules ====================
"SC:wimwam0"
    forall (sc :: Bool) (sc1 :: [Bool]).
      wimwam @Bool (: @Bool sc sc1)
      = bar_$swimwam sc sc1