[tel]

The feeling of it reminds me a bit of Erlang's success typing, but I don't know enough to say much more.