Reduce number of 'Advanced Techniques' necessary to write plutus in Haskell

[Benjmhart]

proposition: Writing plutusTx should not require advanced Haskell knowledge - as Haskell2010 has many resources for learners, and advanced features such as the use of Singleton types or TemplateHaskell should not be necessary

[zliu41]

I haven't seen singletons being used in Plutus Tx before. I'm surprised that it even compiles. Could you share more information about it?

As to TH, it should only be necessary in the $$(PlutusTx.compile [|| mkValidator ||]) boilerplate.

[micahkendall]

Dropping typed validators could be included under this- most developers recommend not using it anyway.

[klarkc]

I'm not sure if the majority of developers are suggesting not to use it, but from my own experience, I haven't come across an easier way to provide PlutusTx types without using TH and typed validators.