val :: type