improve Bfprim: use <$>