alternative fundeps allowing more default instances