module TypeClassWithoutMembers
  ( module Intermediate )
  where

import Intermediate

module Intermediate
  ( module SomeTypeClass )
  where

import SomeTypeClass (SomeClass)