:: a -> () -package:ghc-lib -package:unsafe -package:rebase package:protolude

general coercion from integral types