1/1: Building QuotingShadowed (QuotingShadowed.idr)
LOG shdw:0: tyExpr  : (x : Nat) -> (y : X (\x => S x)) -> Nat
LOG shdw:0: tyExpr' : (x : Nat) -> (y : X (\{x:1} => S x)) -> Nat
LOG shdw:0: tyExpr'': (x : Nat) -> (y : X (\{x:1} => S {x:1})) -> Nat
LOG shdw:0: quoted T  : (x : Nat) -> (y : X (\{x:1} => S {x:1})) -> Nat
LOG shdw:0: quoted T' : (x : Nat) -> (y : X (\{x:1} => S x)) -> Nat
LOG shdw:0: quoted T'': (x : Nat) -> (y : X (\{x:1} => S {x:1})) -> Nat
