basilisk :: Monoid Bool => a
basilisk = _