A naive attempt of creating a programming language with no hidden control flow and its type system based on ADTs only