let
interp i s = apply i s