module ClosedFam2a where
import {-# SOURCE #-} ClosedFam2