definition module nt

:: NT a
:: RT a