Just (tycon, tyargs) -> case TyCon.tyConDataCons_maybe tycon of
-- The scrutinee type should have a single dataconstructor,
-- otherwise we can't construct a valid selector case.
Just (tycon, tyargs) -> case TyCon.tyConDataCons_maybe tycon of
-- The scrutinee type should have a single dataconstructor,
-- otherwise we can't construct a valid selector case.