module Rec2 (rec2, rec1_1, rec3) where

import Rec1
import Rec3

rec2 = rec2