Erlang Meets Idris: Cure Programming Language