Comment by merkaloid

i thought nominal typing was only for the classes?