module IsomorphismClass.Proxies (module Exports) where

import IsomorphismClass.Proxies.ViaIsSome as Exports