module Rec1 (rec1_1, rec1_2, rec2, rec3) where

import Rec2
import Rec3

rec1_1 = rec1_1
rec1_2 = rec1_2