dsl.lhs