There was a mention of dependent types.