I have a dhall record that represents a ‘rule’ of some kind, and I also have a record that represents the combination of two ‘rules’ (And). I declared a function to create this type of record but currently I need to use it as “and A B”. It would be clearer to be able to use something like “A and
B”. Is something like that possible?
1 Like