module Rec1 where

import Rec2

a = b