Filtering for trait Hats equal Krypt