‚sāˆ€(a : Type) ā†’ a