. — .
This fixes issue 562.
Added andM :: Monad m => [m Bool] -> m Bool to Agda.Utils.Monad. Typical uses: andM l (lazy) vs. and $ sequence l (strict) andM $ map f l (lazy) vs. and <$> mapM f l (strict)
Now, e.g., List is correctly recognized as covariant. This should fix some problems with sized types.
Function "absurd" generated for absurd lambda now applied to contextTelescope.