Exe1: Unit test for `tabulate`
Exe1: applicative instances.