Filtering for trait Coin equal $MANTL