Haskell \BV implemented more verbosely :(.

However, this might help manipulation of programs, which is kind of important... maybe?
Tiny bits (no pun intended, promise!) of progress.