8 Aug
2016
8 Aug
'16
5:15 a.m.
... this may be correct: if_::Newtype_base nt Bool => nt -> result -> result -> result if_ if0 then0 else0 = ...