Abstract nonsense and its application