Пу-пу-пу.

Полезная штука, когда нужно ограничить скоуп применения имплиситов, по принципу блэклиста. Говоришь компилятору "выведи мне имлиситы что A это не всякая херня", а он не может вывести что A всякая херня, а значит и A не всякая херня.
(преверженцы интуиционизма штопают жопы)