deal with Funext better in Repleteness