Canonical Abstract Prototyps