Patterns in ppx now this works