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