module Data.Ap where

newtype Ap f x a = Ap { ap :: f a (x a) }