<div dir="ltr">
<div>Hi all,<br></div><div><br></div><div>I am a student in mathematics exploring alternative ways in which the transfer principle (
<a href="https://en.wikipedia.org/wiki/Transfer_principle" target="_blank">https://en.wikipedia.org/wiki/Transfer_principle</a>

) can be proved.</div><div><br></div><div>I've found a paper by Ralf Hinze which I think is relevant: 
<a href="https://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf" target="_blank">https://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf</a>.
 However, I'd benefit from being able to talk to someone who understands
 the notation starting section 3 and onwards, as I am very much a 
Haskell newbie (everything I have learned, has been in the last 4 days, 
as I try to decipher this paper). <br><br></div><div>Would anyone be willing to have a conversation with me regarding this?</div><div><br></div><div>Kind regards,<br></div><div>Brian</div>

</div>