# Pastebin dNOkarHC

newtype Const a b = Const { getConst :: a }
type Getting r s a = (a -> Const r a) -> s -> Const r s 

fn :: (a -> b) -> Getting a x a -> Getting b x b
fn = ???