Move the Predicate type into Looped.hs