Here we will be looking at rigorous mathematical abstractions of gauge theories with haskell to test and evaluate constructions