Skeleton of Idris -> Erlang Compiler