Types in Agda
Types are values as well in agda
2020-06-13