Unbound.Generics.PermM
data Perm a
permValid
single
compose
apply
support
isid
join
empty
restrict
mkPerm