module Data.All where
data All = All {getAll :: Bool}