module Coercible.Lib2 where

newtype NTLib2 a = NTLib2 a