started work on profunctors