module RnFail047_A (x, y) where

x::Int
y::Int