Bound needs prelude-extras for whatever reason
Added bound-flavored lambda-pi