Monad FUD: *var* NAD'ler: