:: a -> () package:protolude

general coercion from integral types