module ClosedFam3a where

import {-# SOURCE #-} ClosedFam3