{-|
This file contains a Dhall expression with just a type annotation, which
should be selected as the expression's type
-}
1 : Natural