for a being Nat holds (<*> REAL) |^ a = <*> REAL