Make the default total where appropriate.
Cleanup Bool
Oops! Applicatives have to be Functors!