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