definition module Firsts

firsts :: // meest algemene type