fromIntegral package:constrained-categories

general coercion from integral types