ModuleInMutual.agda

-- Currently modules are not allowed in mutual blocks.
-- This might change.
module ModuleInMutual where

mutual
  module A where
    T : Set -> Set
    T A = A

  module B where
    U : Set -> Set
    U B = B