first tests working in purity type system.