implementation module nt

:: NT a =: NT a
:: RT a = RT a