WEIRD things happening when I remove the OverlappingInstances pragma from validation.hs