-> null '() -> (null? null) #t -> (null? 3) #f