Yasutaka Higa
type DiffList a = [a] -> [a]
absFromDiffList :: DiffList a -> [a] absFromDiffList a = a [] rep :: [a] -> DiffList a rep = (++)
(+++) :: DiffList a -> DiffList a -> DiffList a (+++) = (.)