When a module implements an Elixir Behaviour, type check should be able to verify the type spec from Behaviour declaration.
gyson
