Finally got Validate working. Struggling with haskell...