+++ /dev/null
---!!! ds028: failable pats in top row
-
-module ShouldSucceed where
-
-
--- when the first row of pats doesn't have convenient
--- variables to grab...
-
-mAp f [] = []
-mAp f (x:xs) = f x : mAp f xs
-
-True |||| _ = True
-False |||| x = x