Add idris where snippet