use feature qw(state);
  use Type::Params 1.004000 qw(compile_named);
  use Types::Standard qw(HasMethods Str);
  use My::Types qw(FileHandle);
  
  sub htmlprint {
    state $check = compile_named(
      file   => FileHandle | HasMethods['printf'],
      text   => Str,
      colour => Str, { default => "black" },
    );
    my $arg = $check->(@_);
    
    ...;  # rest of the function goes here
  }