forgot to open begin code again on Source.lagda. FIXED