module ClosedFam1a where

import {-# SOURCE #-} ClosedFam1