module
Data.Ap
where
newtype
Ap
f
x
a
=
Ap
{
ap
::
f
a
(
x
a
)
}