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