EliminateTypeArgumentOfCheckSpec.hs 555 Bytes