ForSyDe.Deep.AbsentExt
data AbstExt a
fromAbstExt
unsafeFromAbstExt
abstExt
psi
isAbsent
isPresent
abstExtFunc