work on BrutalDepTypes.lagda