Newtype
newts
newts
root
newtypeInstance
All Any Dual First FirstOption Last LastOption Max Min Mult ZipList