1 2 3 4 5 6
--!!! Import an interface defining a class and some instances module Main where import Rn016