Weird, GitHub froze my account after opening a PR 😕
One of our mostly harmless robots seems to think you are not a human.
Because of that, it’s hidden your profile from the public. If you really are human, please contact support to have your profile reinstated. We promise we won’t require DNA proof of your humanity.
foundation-0.0.2? Or is there something else that should be included?
toNormalForm (UVecBA _ _ _ !_) = ()