1 module ShouldSucceed where
4 data FG a b = MkFG (OL (a,b))
5 data AFE n a b = MkAFE (OL (n,(FG a b)))
7 --ranOAL :: OL (a,v) -> [a]
8 ranOAL :: OL (a,v) -> [v]
9 ranOAL (MkOL xs) = mAp sNd xs
12 mAp f (x:xs) = (f x) : mAp f xs
16 ranAFE :: AFE n a b -> [FG a b] -- ?
17 ranAFE (MkAFE nfs) = ranOAL nfs