errors/NoBindingForBuiltin.agda:3,7-9
No binding for builtin thing NATURAL, use {-# BUILTIN NATURAL name
#-} to bind it to 'name'
when checking that the expression 42 has type _1