Implement hs-emptyp
Implement hs-filter