ignore verbosity so that GHCi output shows