More Applicative methods
Make it compile
Method order like in Control.Applicative
Sets with unlimited domain
Snapshot
Worries about growth