foo x | a = b | True = d