Add Functions.Views.Decidability
Refer to standard library