You don't have to remember the correct syntax, or input and output types, because the editor won't let you enter an invalid program. The type system constrains

You don't have to remember the correct syntax, or input and output types, because the editor won't let you enter an invalid program. The type system constrains many of the choices the programmer can make. It's only possible to connect an output to an input of a compatible type, and doing this can instantiate a type parameter, e.g. [X] -> [car] -> [add1] is only possible if X outputs a List of Int. If you want to connect to an input which is absent, you're only given vertices with inputs of the correct type to choose from. I should probably put more information about both the type system and the IDE on my tutorial pages.