every use of BSD4 on hackage is incorrect