1 2 3 4 5 6
{-# LANGUAGE InstanceSigs #-} module WildcardInInstanceSig where instance Num Bool where negate :: _ negate = undefined