module Rec2 where

import Rec1

b = a