module RIVS where import RIVSDef -- Make R2 an instance of RIVS. instance RIVS R2 where -- Make R5L an instance of RIVS. You can use map, zipWith, sum. instance RIVS R5L where