if you want a datatype where that operation still ends with an `a` , you're looking for `Const`
p
if you want a datatype where that operation still ends with an
a
, you're looking for
Const