module A where a = b [ f {-, -} ]