Introducing AbstractionType