InL, InR --> Lft, Rht
swap names reifyE and reifyE'
reifyE --> reifyE'
experimenting with reifyE/evalE