module Mappen

import StdEnv
import Map

Start = (Map ((+) 1) (Just 42), Map ((+) 1) [1..10], Map ((+) 1) t7)