parametrize views over interpreter