Types in Agda

Types are values as well in agda