module Rec3 (rec1_1, rec1_2, rec3) where

import Rec2
import Rec1 (rec1_2)

rec3 = rec3