workaround for haddock bug
workaround for haddock bug

rpglover64/lens,cchalmers/lens,hvr/lens,ddssff/lens,cdepillabout/lens,Gabriel439/lens,hvr/lens,timjb/lens,danidiaz/lens,Fuuzetsu/lens,Icelandjack/lens,omefire/lens