HSP
type HSP
type HSPT m
type HSPT' m
class IsAttrValue m a