Learn Calypso by Example