There are still some issues with types, but I think your main problem is that the program will enter an infinite loop as soon as it encounters a function with only one argument specified (I'm talking about functions and arguments of the challenge, i.e. uppercase and lowercase letters). You need to implement the smaller snippet you were asking me about in a way that it can return only one value in case the first row or first column is all spaces
@Razetime That challenge is very cool btw! I wonder if anyone actually implemented a language with this syntax
now to wonder how to make the bigger program infer
I think this maybe inferrin forever: [Try it online!](https://tio.run/##yygtzv7/317D6lHbBCA6tDPBSl3TSl3DS10n91FTQ@q5lfkQmZJHjRvgnFwQT1MDwgExXSDM////Rys5Ojk7KukoVShUFAMpBRe3bKVYAA "Husk – Try It Online")
Meanwhile, it looks like pythonanywhere.com has a gch installed, so it could be possible to put up a husk tryitonline similar to the one for vyxal... Unfortunately my attempts until now have encountered only errors due to it being an old version of ghc :(