Type safe options in Idris.