Add note about (lack of) funext