utility module, immutable type validator & Erlang/Elixir style guards ( but with every imaginable method ).