ForSyDe.Shallow.AbsentExt
data AbstExt a