Idris has a really neat feature called 'Holes' that does exactly this. I wish it could be implemented in every language on earth.