membership (hackage): Type level membership
Keywords: bsd3|library|type