ForSyDe.AbsentExt
data AbstExt a