module Mappen import StdEnv import Map Start = ( Map ((+) 1) (Just 42), Map ((+) 1) [1..10]) //Map ((+) 1) t7)